clang/lib/Analysis · 6d8b46e71dba895529004c1edeb9976e3aea5b23 · Roger Ferrer / llvm-epi-0.8

Ted Kremenek authored 16 years ago

Add (preliminary) transfer function support for ObjCForCollectionStmt. Still need to flesh out some logic.

When processing DeclStmt, use the new interface to StateManager::BindDecl. Conjuring of symbols is now done in VisitDeclStmt.

llvm-svn: 59155

1781080c

Name	Last commit	Last update
..
BasicConstraintManager.cpp
BasicObjCFoundationChecks.cpp
BasicObjCFoundationChecks.h
BasicStore.cpp
BasicValueFactory.cpp
BugReporter.cpp
CFRefCount.cpp
CMakeLists.txt
CheckDeadStores.cpp
CheckNSError.cpp
CheckObjCDealloc.cpp
CheckObjCInstMethSignature.cpp
CheckObjCUnusedIVars.cpp
Environment.cpp
ExplodedGraph.cpp
GRBlockCounter.cpp
GRCoreEngine.cpp
GRExprEngine.cpp
GRExprEngineInternalChecks.cpp
GRSimpleVals.cpp
GRSimpleVals.h
GRState.cpp
GRTransferFuncs.cpp
LiveVariables.cpp
Makefile
MemRegion.cpp
NOTES.TXT
PathDiagnostic.cpp
RegionStore.cpp
SVals.cpp
SymbolManager.cpp
UninitializedValues.cpp