spotted by Eli!

llvm-svn: 71490

llvm-svn: 71489

When stripping element regions for invalidating region values, treat FieldRegions and ObjCIvarRegions as "base" regions in addition to VarRegions.

llvm-svn: 71488

llvm-svn: 71486

llvm-svn: 71482

llvm-svn: 71481

EdgeBuilder: DeclStmts and BinaryOperators are not the enclosing location context when they are used as initialization code for loops.

llvm-svn: 71480

EdgeBuilder::cleanUpLocation() should used the PathDiagnosticLocation constructor for a single point, not a range.

llvm-svn: 71477

specialization" within a C++ template, and permit name lookup into the
current instantiation. For example, given:

  template<typename T, typename U>
  struct X {
    typedef T type;

    X* x1;  // current instantiation
    X<T, U> *x2; // current instantiation
    X<U, T> *x3; // not current instantiation
    ::X<type, U> *x4; // current instantiation
    X<typename X<type, U>::type, U>: *x5; // current instantiation
  };

llvm-svn: 71471

BugReporter (extensive diagnostics): Add EdgeBuilder::cleanUpLocation for canonicalization locations and use this in both popLocation and rawAddEdge.

llvm-svn: 71470

llvm-svn: 71469

message dispage API for all but a few messages. This is 
a runtime performance improvement and there is not meant
to be a functional change.

llvm-svn: 71467

llvm-svn: 71461

Fix regression reported in <rdar://problem/6866843>.  The analyzer should extend the lifetime of an object stored to a container.

llvm-svn: 71452

llvm-svn: 71451

Fix a bug found by Thomas Clement where 'return [[[NSString alloc] init] autorelease]' would emit a false 'too many overreleases' error.

llvm-svn: 71432

the VarRegion as a super region of an ElementRegion.

llvm-svn: 71431

retrieve the string value.

llvm-svn: 71430

ElementRegion.

llvm-svn: 71428

With the introduction of nullptr, a template argument that refers to a declaration can now be NULL. Use cast_or_null appropriately

llvm-svn: 71412

llvm-svn: 71409

template. The injected-class-name is either a type or a template,
depending on whether a '<' follows it. As a type, the
injected-class-name's template argument list contains its template
parameters in declaration order.

As part of this, add logic for canonicalizing declarations, and be
sure to canonicalize declarations used in template names and template
arguments. 

A TagType is dependent if the declaration it references is dependent.

I'm not happy about the rather complicated protocol needed to use
ASTContext::getTemplateSpecializationType.

llvm-svn: 71408

llvm-svn: 71405

llvm-svn: 71397

where an owned one is expected.  Also add preliminary checking for
returning a positive retain count object in GC mode where an owned GC
object is expected.

llvm-svn: 71388

- Improve -autorelease diagnostics.
- Improve VLA diagnostics.
- Use "short description" for bug when outputting to TextDiagnostics

llvm-svn: 71383

pointee type is scalar type, create element region regardless with the sizes
of types.

llvm-svn: 71360

TypedViewRegion usage in region store.

llvm-svn: 71359

convert it to the first element region.
Also do not assume the array region is typed.

llvm-svn: 71358

region. In the future we may set the cast-to type as the same time. But for
now, we simply leave it as it is.

llvm-svn: 71357

Modify getLValueElement accordingly. Now we don't require base region 
to be a typed region. Do not create TypedViewRegion when base region is 
symbolic or alloca region. We can do so because each element region has 
its type information.

llvm-svn: 71355

RegionStoreManager::CastRegion(). This case should be subsumed by others.

llvm-svn: 71353

LLVM.

llvm-svn: 71350

  SymbolRegionRValue => SymbolRegionValue
  SymExpr::RegionRValue => SymExpr::RegionValueKind

llvm-svn: 71322

TypedRegion::getValueType().

llvm-svn: 71321

'cf_returns_retained'.

llvm-svn: 71311

llvm-svn: 71309

ns_returns_retained, but do not include the other ownership attributes
we previously had.

llvm-svn: 71308

'autorelease'.

llvm-svn: 71307

 RValueType => ObjectType
 LValueType => LocationType

No functionality change.

llvm-svn: 71304