Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned.

llvm-svn: 54253

llvm-svn: 54219

llvm-svn: 54106

ASTContext::getCanonicalType instead (PR2189)

llvm-svn: 54105

llvm-svn: 54050

Remove call to isSEL and isSEL itself since the call is dead (isObjCObjectPointerType() will never return true for selectors).

llvm-svn: 54034

Only warn about missing/incomplete -dealloc implementations when a class contains a non-SEL, non-IBOutlet ivar that references an ObjC object.

llvm-svn: 54024

This fixes PR 2573: http://llvm.org/bugs/show_bug.cgi?id=2573

llvm-svn: 54009

Use ASTContext::isObjCObjectPointerType() to check if an ivar is a reference to an Objective-C object.

llvm-svn: 53999

This fixes: http://llvm.org/bugs/show_bug.cgi?id=2593

llvm-svn: 53993

This fixes PR 2592: http://llvm.org/bugs/show_bug.cgi?id=2592

llvm-svn: 53987

llvm-svn: 53983

Don't flag dead stores when the result of a preincrement/predecrement is used in an enclosing expression.

llvm-svn: 53964

llvm-svn: 53960

Refine the error message of unused ivars.
Added test case.

llvm-svn: 53957

llvm-svn: 53953

llvm-svn: 53942

Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp.

llvm-svn: 53909

llvm-svn: 53906

This implements <rdar://problem/6069935>

llvm-svn: 53891

llvm-svn: 53763

llvm-svn: 53759

llvm-svn: 53758

llvm-svn: 53755

llvm-svn: 53754

llvm-svn: 53753

llvm-svn: 53752

Renamed deterministic EvalBinOp to DetermEvalBinOpNN.  This name mangling is unfortunately needed because virtual methods with the same name can be hidden by subclasses.

llvm-svn: 53751

Modified the new EvalBinOpNN to generate states instead of nodes.  This is a much simpler interface and is what clients will want to do.

llvm-svn: 53750

llvm-svn: 53745

llvm-svn: 53743

llvm-svn: 53740

Begin major changes to EvalXXX methods in GRTransferFuncs.  Currently some of the methods only return an RVal; we want them to be able to create an arbitrary number of states.

llvm-svn: 53739

Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager.

llvm-svn: 53726

Fix regression introduced by http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080714/006514.html.

The regression was the casts from integers to pointers where not being handled: they would just return UnknownVal.  This would greatly decrease path-sensitivity.

llvm-svn: 53659

Fix transfer function logic in GRSimpleVals for integer casts: only support casts from integers to integers.
This fixes a crash reported by Anders Carlsson!

llvm-svn: 53649

llvm-svn: 53647

llvm-svn: 53628

isRetain() and isRelease() now only returns true if "Retain"/"Release" appears in the suffix of a function's name.

llvm-svn: 53621

llvm-svn: 53617