aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp
AgeCommit message (Expand)Author
2013-04-20[analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-03-24[analyzer] Teach ConstraintManager to ignore NonLoc <> NonLoc comparisons.Jordan Rose
2013-03-23[analyzer] Teach constraint managers about unsigned comparisons.Jordan Rose
2013-03-23[analyzer] Also transform "a < b" to "(b - a) > 0" in the constraint manager.Jordan Rose
2013-03-23Add reverseComparisonOp and negateComparisonOp to BinaryOperator.Jordan Rose
2013-03-23[analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.Jordan Rose
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2012-10-01[analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek
2012-09-24[analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume)Anna Zaks
2012-09-07Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek
2012-08-22Despite me asking Jordan to do r162313, revert it. We can provideTed Kremenek
2012-08-21[analyzer] Push "references are non-null" knowledge up to the common parent.Jordan Rose
2012-05-10[analyzer] Exit early if constraint solver is given a non-integer symbolAnna Zaks
2012-05-08[analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-20More dead code removal (using -Wunreachable-code)David Blaikie
2011-12-05[analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks
2011-12-05[analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks
2011-12-05[analyzer] First step toward removingAnna Zaks
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-05-21A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.Douglas Gregor
2011-03-01[analyzer] Remove Checker V1.Argyrios Kyrtzidis
2011-02-16Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis