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
/
Checker
/
SimpleSValuator.cpp
Age
Commit message (
Expand
)
Author
2010-09-03
"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment
Chris Lattner
2010-09-03
Support pointer arithmetic in SimpleSValuator involving direct constants.
Ted Kremenek
2010-08-25
GCC didn't care for my attempt at API compatibility, so brute-force everything
John McCall
2010-08-09
Allow EvalBinOpNN to handle expressions of the form $a+$b if $b can be reduce...
Jordy Rose
2010-08-02
Improve flat store: MemRegion::getAsOffset() computes a region's offset within
Zhongxing Xu
2010-07-04
Add a new symbol type, SymbolExtent, to represent the extents of memory regio...
Jordy Rose
2010-06-30
Pointers casted as integers still count as locations to SimpleSValuator, so d...
Jordy Rose
2010-06-28
Pointer comparisons (and pointer-pointer subtraction). Basically filling in S...
Jordy Rose
2010-06-21
When folding additive operations, convert the values to the same type. When a...
Jordy Rose
2010-06-20
Add braces to avoid an ambiguous else, fixing a GCC warning.
Benjamin Kramer
2010-06-20
Adds analyzer support for idempotent and tautological binary operations such ...
Jordy Rose
2010-06-18
Fold additive constants, and support comparsions of the form $sym+const1 <> c...
Jordy Rose
2010-04-16
Static analyzer: Don't crash when casting a symbolic region address to a floa...
Ted Kremenek
2010-02-05
Remove unused parameter.
Zhongxing Xu
2010-01-25
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek