summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.h
Commit message (Expand)AuthorAgeFilesLines
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-2/+2
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-2/+2
* Use 'override/final' instead of 'virtual' for overridden methodsAlexander Kornienko2015-04-111-1/+1
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-2/+2
* [analyzer] Add support for testing the presence of weak functions.Jordan Rose2013-08-281-6/+0
* [analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.Jordan Rose2013-03-231-4/+5
* [analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose2012-10-011-2/+2
* [analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose2012-05-081-1/+5
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-13/+13
* [analyzer] Mark ConstraintManager::canReasonAbout as protected.Anna Zaks2011-12-051-2/+2
* [analyzer] First step toward removingAnna Zaks2011-12-051-2/+10
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-13/+13
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-2/+2
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+93
OpenPOWER on IntegriCloud