Ted Kremenek 448538d860 Added boilerplate for plug-in transfer function support for CallExprs. ... GRSimpleVals performs the following action: invalidate all values passed-by-reference. llvm-svn: 47638		2008-02-26 23:04:29 +00:00
..
DeadStores.cpp	Modified LiveVariables to perform all of its base initialization in the ctor,	2008-01-29 05:13:23 +00:00
ExplodedGraph.cpp	Simplified transfer function logic for ++/-- operators.	2008-02-15 22:09:30 +00:00
GRBlockCounter.cpp	Renamed class GREngine => GRCoreEngine.	2008-02-13 17:41:41 +00:00
GRCoreEngine.cpp	Added support to GRCoreEngine/GRExprEngine for processing control-flow	2008-02-13 23:08:21 +00:00
GRExprEngine.cpp	Don't emit divide-by-zero errors when we divide by an unknown (not	2008-02-26 22:27:51 +00:00
GRSimpleVals.cpp	Added boilerplate for plug-in transfer function support for CallExprs.	2008-02-26 23:04:29 +00:00
GRSimpleVals.h	Added boilerplate for plug-in transfer function support for CallExprs.	2008-02-26 23:04:29 +00:00
LiveVariables.cpp	Minor bug fix in LiveVariables: don't "kill" decls referenced by a DeclStmt	2008-02-25 22:28:54 +00:00
Makefile	remove attribution from makefiles.	2007-12-29 20:02:25 +00:00
ProgramPoint.cpp	Added ProgramPoint.cpp, which implements several methods of the subclasses	2008-01-11 16:36:20 +00:00
RValues.cpp	Added lazy "symbolication" of parameter variables and global variables.	2008-02-26 02:15:56 +00:00
SymbolManager.cpp	Added lazy "symbolication" of parameter variables and global variables.	2008-02-26 02:15:56 +00:00
UninitializedValues.cpp	Added back logic in patch r46361 (http://llvm.org/viewvc/llvm-project?rev=46361&view=rev) with the addition of	2008-01-26 00:03:27 +00:00
ValueManager.cpp	Added missing case in constant propagation logic for handling the Xor of	2008-02-19 20:53:37 +00:00
ValueState.cpp	Removed hack with toggling the signedness flag of the APSInt stored	2008-02-26 21:04:29 +00:00
ValueState.h	Major cleanup of the transfer function logic for '&&', '||', and '?'. We	2008-02-26 19:05:15 +00:00