Ted Kremenek ceba6ead45 GRState: ... - Remove ConstNotEq from GRState/GRStateManager (!= tracking uses GDM instead). - GRStateManager now can book-keep "contexts" (e.g., factory objects) for uses with data elements stored into the GDM. - Refactor pretty-printing of states to use GRState::Printer objects exclusively. This removed a huge amount of pretty-printing logic from GRExprEngine. CFRefCount - Simplified some API calls based on refinements to the GDM api. llvm-svn: 54835		2008-08-16 00:49:49 +00:00
..
Analyses	Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVarDecl() and VarDecl::isFileVarDecl().	2008-04-15 22:42:06 +00:00
FlowSensitive	Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a block's terminator.	2008-04-16 21:10:48 +00:00
PathSensitive	GRState:	2008-08-16 00:49:49 +00:00
Support	Mark the right ctor explicit, patch by Cédric Venet	2008-06-07 19:56:57 +00:00
Visitors	Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl.	2008-06-17 18:05:57 +00:00
LocalCheckers.h	Add prototype implementation of unused ivar check.	2008-07-23 00:45:26 +00:00
PathDiagnostic.h	Use typedef range_iterator instead of SourceRange* in PathDiagnosticPiece.	2008-07-23 21:51:42 +00:00
ProgramPoint.h	Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad). This solves a caching bug observed in a recent bug report.	2008-06-18 05:34:07 +00:00