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