maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/lib/Analysis
History
Ted Kremenek 8adeebb274 Added initial support into the flow-sensitive dataflow solver to visit the Block-level expression 
in a block's terminator.  This expression is visited within a block, but it is accessed by the
terminator.  This is important to observe because for live-variables analysis the block-level
expression is live between the terminator and where the expression occurs in the block.  So far
this hasn't been an issue to not observe this because the block-level expression used in the
terminator is always the last one in the block, and we have never queried the liveness information
about this point (but before the terminator).

llvm-svn: 49709
 		2008-04-15 04:39:08 +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 Bug fix in dead stores: don't always check the liveness of the first decl 2008-04-15 04:11:48 +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 Added initial support into the flow-sensitive dataflow solver to visit the Block-level expression 2008-04-15 04:39:08 +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 Added initial support into the flow-sensitive dataflow solver to visit the Block-level expression 2008-04-15 04:39:08 +00:00
ValueState.cpp Make a major restructuring of the clang tree: introduce a top-level 2008-03-15 23:59:48 +00:00