index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
StaticAnalyzer
/
Core
/
RangeConstraintManager.cpp
Age
Commit 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-04
Sort all of Clang's files under 'lib', and fix up the broken headers
Chandler Carruth
2012-11-05
[analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.h
Jordan 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-26
Revert "Use sep instead of ' '."
Ted Kremenek
2012-09-26
Use sep instead of ' '.
Ted Kremenek
2012-09-26
Remove unnecessary ASTContext& parameter from SymExpr::getType().
Ted Kremenek
2012-09-07
Remove ConstraintManager:isEqual(). It is no longer used.
Ted Kremenek
2012-08-22
Despite me asking Jordan to do r162313, revert it. We can provide
Ted 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-26
Change 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-15
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-08-12
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...
Ted Kremenek
2011-07-23
remove 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-10
Split '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