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

llvm-svn: 50237

This fixes <rdar://problem/5886141>.

Part of this change resulted in creating sparser summaries.  I also added
some more comments and did some minor code cleanups.

llvm-svn: 50214

Problem:

In the recently refactored VisitDeref (which processes dereferences), we
were incorrectly skipping the node just generated for the subexpression
of the dereference.  This was a horrible regression.

llvm-svn: 50176

llvm-svn: 50109

can decide the policy on how to cache related bugs.  This allows us to
properly to handle warning about multiple leaks in the same location in the
ref count checker (not yet done).

llvm-svn: 49918

from registered BugTypes.  This helps with debugging.

Add detection of NULL values in ref count checker; this suppresses false positives.

llvm-svn: 49912