aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
AgeCommit message (Expand)Author
2013-03-23[analyzer] Teach constraint managers about unsigned comparisons.Jordan Rose
2013-03-23[analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.Jordan Rose
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-11-05[analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose
2012-11-02[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).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-26Revert "Use sep instead of ' '."Ted Kremenek
2012-09-26Use sep instead of ' '.Ted Kremenek
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek
2012-09-07Remove ConstraintManager:isEqual(). It is no longer used.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-08-21[analyzer] Assume that reference symbols are non-null.Jordan Rose
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
2011-12-05[analyzer] Minor improvements on RangeConstraint pretty-printing.Anna Zaks
2011-09-02[analyzer] Remove TransferFuncs.h, then deal with the fallout.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-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-02-14[analyzer] Remove ManagerRegistry which is not used. In the future we may loa...Argyrios Kyrtzidis
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