llvm-svn: 54568

llvm-svn: 54563

Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor improvements to path-sensitivity.  Right now we basically treat 'x > y' and 'x < y' as implying 'x != y', but this restriction will only inevitably apply to our must rudimentary value tracking component (we'll implement more advanced value reasoning later).

llvm-svn: 54493

llvm-svn: 54492

Added decl_iterator to DeclStmt to provide an abstract interface to iterate over the ScopedDecls of a DeclStmt.
Updated a few clients of DeclStmt::getNextDeclarator() to use decl_iterator instead.  Will update other clients after additional testing.

llvm-svn: 54368

llvm-svn: 54268

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