summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/BasicConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek2012-08-221-445/+0
* [analyzer] Push "references are non-null" knowledge up to the common parent.Jordan Rose2012-08-211-5/+0
* [analyzer] Assume that reference symbols are non-null.Jordan Rose2012-08-211-0/+4
* [analyzer] BasicConstraintManager: drop NE-constraints once we have a value.Jordy Rose2012-05-081-1/+3
* [analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose2012-05-081-80/+157
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-33/+33
* [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-72/+102
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-22/+22
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-2/+2
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-3/+3
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+338
OpenPOWER on IntegriCloud