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
/
SimpleConstraintManager.cpp
Age
Commit message (
Expand
)
Author
2012-05-10
[analyzer] Exit early if constraint solver is given a non-integer symbol
Anna Zaks
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
2012-01-20
More dead code removal (using -Wunreachable-code)
David Blaikie
2011-12-05
[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
Anna Zaks
2011-12-05
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
Anna Zaks
2011-12-05
[analyzer] First step toward removing
Anna Zaks
2011-09-23
Switch assert(0/false) llvm_unreachable.
David Blaikie
2011-08-15
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-05-21
A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.
Douglas Gregor
2011-03-01
[analyzer] Remove Checker V1.
Argyrios Kyrtzidis
2011-02-16
Makes most methods in SVals.h conform to the naming guide. Reviewed
Zhanyong Wan
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