summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-1/+1
* [analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose2012-11-051-1/+3
* [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose2012-11-021-14/+1
* [analyzer] Let ConstraintManager subclasses provide a more efficient checkNull.Jordan Rose2012-10-311-0/+25
* [analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose2012-10-011-2/+2
* Revert "Use sep instead of ' '."Ted Kremenek2012-09-261-1/+1
* Use sep instead of ' '.Ted Kremenek2012-09-261-1/+1
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-1/+1
* Remove ConstraintManager:isEqual(). It is no longer used.Ted Kremenek2012-09-071-6/+0
* Despite me asking Jordan to do r162313, revert it. We can provideTed Kremenek2012-08-221-1/+11
* [analyzer] Push "references are non-null" knowledge up to the common parent.Jordan Rose2012-08-211-11/+1
* [analyzer] Assume that reference symbols are non-null.Jordan Rose2012-08-211-1/+11
* [analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose2012-05-081-74/+201
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-28/+28
* [analyzer] Minor improvements on RangeConstraint pretty-printing.Anna Zaks2011-12-051-3/+5
* [analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose2011-09-021-1/+0
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-34/+34
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-20/+20
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-3/+3
* [analyzer] Remove ManagerRegistry which is not used. In the future we may loa...Argyrios Kyrtzidis2011-02-141-1/+0
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-4/+4
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+442
OpenPOWER on IntegriCloud