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

llvm-svn: 50512

a CF memory leak occurred with GC enabled, etc.

llvm-svn: 50507

llvm-svn: 50494

llvm-svn: 50493

llvm-svn: 50396

llvm-svn: 50395

The transfer functions for the checker don't do anything special yet in GC mode.

llvm-svn: 50394

Implemented support for better localized leaks in the CF reference count checker.
Now leaks should be flagged close to where they occur.

This should implement the desired functionality in <rdar://problem/5879592>, although the diagnostics still need to be improved.

llvm-svn: 50241