aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
AgeCommit message (Expand)Author
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2012-12-21[analyzer] Don't perform an expensive assertion in release builds.Jordan Rose
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-11-01clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h: Ap...NAKAMURA Takumi
2012-11-01[analyzer] Optimize assumeDual by assuming constraint managers are consistent.Jordan Rose
2012-11-01[analyzer] Rename ConditionTruthVal::isTrue to isConstrainedTrue.Jordan Rose
2012-10-31[analyzer] Let ConstraintManager subclasses provide a more efficient checkNull.Jordan Rose
2012-10-01[analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose
2012-09-07Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek
2012-09-07Add default implementation of ConstraintManager::getSymVal() and a doxygen co...Ted Kremenek
2012-09-07Remove ConstraintManager:isEqual(). It is no longer used.Ted Kremenek
2012-08-22Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek
2012-01-31Convert more uses of 'const ProgramState *' to 'ProgramStateRef' (and related...Ted Kremenek
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2011-12-05[analyzer] Mark ConstraintManager::canReasonAbout as protected.Anna Zaks
2011-11-16[analyzer] Assert if we ever get an over constrained state.Anna Zaks
2011-08-28[analyzer] Header cleanup to decrease coupling (and recompilation). No functi...Jordy Rose
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-07-20add raw_ostream and Twine to LLVM.h, eliminating a ton of llvm:: qualifications.Chris Lattner
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek