Zhongxing Xu deb7cac332 Fix StringLiteral print bug. ...

llvm-svn: 59015

2008-11-11 01:36:32 +00:00

..

BasicConstraintManager.cpp

Print integer value instead of raw pointer. This is a hack to be fixed by migrating the output in analyzer to llvm::raw_ostream.

2008-11-10 05:00:06 +00:00

BasicObjCFoundationChecks.cpp

…

BasicObjCFoundationChecks.h

…

BasicStore.cpp

Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is

2008-11-07 10:38:33 +00:00

BasicValueFactory.cpp

CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This change was motivated by the need to allow state-splitting in GRExprEngine::VisitInitListExpr. As a side-benefit, we no longer need to perform any copies of SVals when creating a CompoundSVal, and the profiling of CompoundSVal is now constant time.

2008-10-30 17:44:46 +00:00

BugReporter.cpp

…

CFRefCount.cpp

Fix regression with handling of CFMakeCollectable.

2008-11-05 22:17:20 +00:00

CheckDeadStores.cpp

…

CheckNSError.cpp

…

CheckObjCDealloc.cpp

Add a new expression class, ObjCSuperExpr, to handle the Objective-C 'super'. Remove ObjCThis from PredefinedExpr

2008-11-04 14:56:14 +00:00

CheckObjCInstMethSignature.cpp

…

CheckObjCUnusedIVars.cpp

…

CMakeLists.txt

…

Environment.cpp

Rename:

2008-10-30 05:33:54 +00:00

ExplodedGraph.cpp

…

GRBlockCounter.cpp

…

GRCoreEngine.cpp

…

GRExprEngine.cpp

silence a warning from gcc.

2008-11-10 03:00:37 +00:00

GRExprEngineInternalChecks.cpp

Enhance return-of-stack-address checker to recognize regions created by alloca().

2008-11-02 00:35:25 +00:00

GRSimpleVals.cpp

Rename:

2008-10-30 05:33:54 +00:00

GRSimpleVals.h

…

GRState.cpp

Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is

2008-11-07 10:38:33 +00:00

GRTransferFuncs.cpp

Rename:

2008-10-30 05:33:54 +00:00

LiveVariables.cpp

…

Makefile

…

MemRegion.cpp

Fix StringLiteral print bug.

2008-11-11 01:36:32 +00:00

NOTES.TXT

Add some notes for SCA.

2008-11-03 06:04:23 +00:00

PathDiagnostic.cpp

…

RegionStore.cpp

Implement RegionStoreManager::RemoveDeadBindings(). This prunes several false warning caused by removal of symbolic constraints. Currently we just mark all symbols live. Further optimization for dead binding removal needed.

2008-11-10 09:39:04 +00:00

SVals.cpp

Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an adapter for std::ostream, but this will be removed in the future.

2008-10-30 18:35:10 +00:00

SymbolManager.cpp

…

UninitializedValues.cpp

…