tracked object to "escape": it's reference count might be incremented by the
called function, thus causing an object's lifetime to extend beyond when the
local reference count is decremented to 0.

This addresses: <rdar://problem/5933215>

llvm-svn: 51433

llvm-svn: 51198

Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary to use IsLValType when conjuring symbols for return values (this fixes a bug with an assertion firing in the analyzer when two qualified objective-c types were compared).

llvm-svn: 50924

llvm-svn: 50831

function that returns a CFxxxRef, not just functions whose name begins with
CF.  This implements <rdar://problem/5917879>.

Added test case for this feature.

Updated calls to CStrInCStrNoCase to swap their arguments, per compatibility
with strcasestr.

llvm-svn: 50829

llvm-svn: 50824

Correctly check if the result of CStrInCStrNoCase is NULL to generate summaries; before we were inverting the condition.

llvm-svn: 50822

llvm-svn: 50817

Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" from NSObject as allocators.

llvm-svn: 50802

llvm-svn: 50798

llvm-svn: 50795

llvm-svn: 50777

"#if 0" out some assumptions when auto-generating method summaries.

llvm-svn: 50772

llvm-svn: 50753

llvm-svn: 50721

llvm-svn: 50715

llvm-svn: 50714

Added test case.

llvm-svn: 50711

llvm-svn: 50710

llvm-svn: 50709

logic for function calls and message expressions.

Use the following heuristic to infer "allocating" instance methods:

  [ClassName classWithXXX]  allocates an object
  
Update testcase to reflect this heuristic.

llvm-svn: 50708

llvm-svn: 50700

llvm-svn: 50697

llvm-svn: 50690

llvm-svn: 50689

llvm-svn: 50684

In a leak's "name", indicate GC or non-GC bugs.

llvm-svn: 50680

generic and handles reference counts for NSObjects.

llvm-svn: 50674

the object was last used.  This can be confusing to users.

For example:

 // 'y' is leaked
x = foo(y);

instead:

x = foo(y);
  // 'y' is leaked

llvm-svn: 50661

llvm-svn: 50657

Added test case for NSMakeCollectable.

llvm-svn: 50653

llvm-svn: 50588

basic warnings (dead stores, null dereferences) on the first pass.

llvm-svn: 50584

llvm-svn: 50557

llvm-svn: 50556

llvm-svn: 50553

llvm-svn: 50549

Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand.

llvm-svn: 50541

llvm-svn: 50533

lval passed as an argument.

Fix: Inverted diagnostic messages.
llvm-svn: 50513