Ted Kremenek 2619be072c Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor improvements to path-sensitivity. Right now we basically treat 'x > y' and 'x < y' as implying 'x != y', but this restriction will only inevitably apply to our must rudimentary value tracking component (we'll implement more advanced value reasoning later). ... git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@54493 91177308-0d34-0410-b5e6-96231b3b80d8		2008-08-07 22:30:22 +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	Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor improvements to path-sensitivity. Right now we basically treat 'x > y' and 'x < y' as implying 'x != y', but this restriction will only inevitably apply to our must rudimentary value tracking component (we'll implement more advanced value reasoning later).	2008-08-07 22:30:22 +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