llvm-project/clang/lib/Analysis
Ted Kremenek f4212bdbc3 Bug fix in LiveVariables: Operators ++/-- may kill a value, but the variable
is still live.

llvm-svn: 49705
2008-04-15 03:47:30 +00:00
..
BasicObjCFoundationChecks.cpp Hooked up the dead-store checker to the BugReporter interface. Now dead-store 2008-04-14 17:39:48 +00:00
BasicObjCFoundationChecks.h Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the driver. 2008-03-27 17:17:22 +00:00
BasicValueFactory.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
BugReporter.cpp Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available. 2008-04-14 18:06:42 +00:00
CFRefCount.cpp Treat calls to unresolved functions in the CF-ref count checker as calls 2008-04-14 17:45:13 +00:00
DeadStores.cpp Don't flag dead stores that occur in macros. 2008-04-14 18:28:25 +00:00
ExplodedGraph.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
GRBlockCounter.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
GRCoreEngine.cpp Added "GREndPathNodeBuilder", a new node builder that will be used for 2008-04-11 22:03:04 +00:00
GRExprEngine.cpp Fixed some logic errors in the CF ref count checker; we now can detect simple 2008-04-10 23:44:06 +00:00
GRSimpleVals.cpp Hooked up the dead-store checker to the BugReporter interface. Now dead-store 2008-04-14 17:39:48 +00:00
GRSimpleVals.h Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. 2008-04-09 21:41:14 +00:00
LiveVariables.cpp Bug fix in LiveVariables: Operators ++/-- may kill a value, but the variable 2008-04-15 03:47:30 +00:00
Makefile Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
PathDiagnostic.cpp PathDiagnosticPiece no longer contains a vector of strings; just one string. 2008-03-27 06:16:40 +00:00
ProgramPoint.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
RValues.cpp simplify some code by using PointerLikeType. 2008-04-02 17:45:06 +00:00
SymbolManager.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00
UninitializedValues.cpp Changed merge operation for uninitialized values analysis to "intersect" (previous union). 2008-03-22 20:11:00 +00:00
ValueState.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00