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

r71448 required. Fixes PR 4148 and PR 4183.

llvm-svn: 71450

llvm-svn: 71444

llvm-svn: 71436

llvm-svn: 71435

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: 71406

llvm-svn: 71405

llvm-svn: 71404

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

llvm-svn: 71387

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

llvm-svn: 71383

llvm-svn: 71375

'clang -###' to get the appropriate arguments to pass to clang-cc.
This isn't a permanent solution.

llvm-svn: 71364

llvm-svn: 71361

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

llvm-svn: 71356

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

llvm-svn: 71348

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

llvm-svn: 71322

TypedRegion::getValueType().

llvm-svn: 71321

llvm-svn: 71312

'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