summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] Refactor and simplify SimpleConstraintManagerDominic Chen2017-02-251-222/+8
* Fix for PR15623 (corrected r290413 reverted at 290415). The patch eliminates ...Anton Yartsev2016-12-251-1/+13
* Revert changes made by r290413 until regression is fixed.Anton Yartsev2016-12-231-15/+1
* Fix for PR15623. The patch eliminates unwanted ProgramState checker data prop...Anton Yartsev2016-12-231-1/+15
* [analyzer] Add a new SVal to support pointer-to-member operations.Devin Coughlin2016-12-151-0/+6
* [analyzer] Run clang-format and fix styleDominic Chen2016-12-131-67/+62
* [analyzer] Rename assumeWithinInclusiveRange*()Dominic Chen2016-11-151-2/+2
* Roll-back r250822.Angel Garcia Gomez2015-10-201-1/+1
* Apply modernize-use-default to clang.Angel Garcia Gomez2015-10-201-1/+1
* [analyzer] Create one state for a range switch case instead of multiple.Devin Coughlin2015-09-221-0/+67
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-1/+1
* [analyzer] Add support for testing the presence of weak functions.Jordan Rose2013-08-281-45/+14
* [analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks2013-04-201-13/+8
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-1/+1
* [analyzer] Teach ConstraintManager to ignore NonLoc <> NonLoc comparisons.Jordan Rose2013-03-241-2/+7
* [analyzer] Teach constraint managers about unsigned comparisons.Jordan Rose2013-03-231-2/+6
* [analyzer] Also transform "a < b" to "(b - a) > 0" in the constraint manager.Jordan Rose2013-03-231-15/+17
* Add reverseComparisonOp and negateComparisonOp to BinaryOperator.Jordan Rose2013-03-231-16/+1
* [analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.Jordan Rose2013-03-231-16/+36
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-2/+2
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-10/+9
* [analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose2012-10-011-4/+4
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-261-6/+4
* [analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume)Anna Zaks2012-09-241-1/+3
* Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek2012-09-071-1/+3
* Despite me asking Jordan to do r162313, revert it. We can provideTed Kremenek2012-08-221-29/+19
* [analyzer] Push "references are non-null" knowledge up to the common parent.Jordan Rose2012-08-211-19/+29
* [analyzer] Exit early if constraint solver is given a non-integer symbolAnna Zaks2012-05-101-0/+5
* [analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose2012-05-081-62/+36
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-8/+8
* More dead code removal (using -Wunreachable-code)David Blaikie2012-01-201-4/+0
* [analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks2011-12-051-28/+25
* [analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks2011-12-051-42/+43
* [analyzer] First step toward removingAnna Zaks2011-12-051-15/+25
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-2/+2
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-8/+8
* A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.Douglas Gregor2011-05-211-1/+2
* [analyzer] Remove Checker V1.Argyrios Kyrtzidis2011-03-011-1/+0
* Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan2011-02-161-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/+303