llvm-svn: 51872

- #include ExprObjC.h in many places

llvm-svn: 51703

llvm-svn: 51453

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

Don't use ostringstream (pulling in <sstream>) when creating the dead store diagnostic (simply not needed).

llvm-svn: 51432

llvm-svn: 51395

Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression.

Added test case to exercise this fix when checking for uses of uninitialized values.

Patch by Zhongxing Xu!

llvm-svn: 51377

llvm-svn: 51324

llvm-svn: 51214

llvm-svn: 51213

llvm-svn: 51212

llvm-svn: 51198

Partitioned BugTypeCachedLocation::isCached() into two methods: one that accepts and ExplodedNode, and the other that accepts a ProgramPoint.  The default behavior is to cache bug reports by the
location they occur (the end node).  Subclasses can override this behavior by providing a different ProgramPoint.

llvm-svn: 51197

llvm-svn: 50979

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

"Execution continues..." message, which does a better job at handling corner cases.

llvm-svn: 50751

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