Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
a274148a5cf85f758e469d5785fb72736f93f58b
/
lib
/
Checker
/
SimpleSValuator.cpp
a274148
Pointers casted as integers still count as locations to SimpleSValuator, so don't crash if we do a funny thing like ((int)ptr)&1. Fixes PR7527.
by Jordy Rose
· 14 years ago
eac4a00
Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL().
by Jordy Rose
· 14 years ago
b4954a4
When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now.
by Jordy Rose
· 14 years ago
24ada87
Add braces to avoid an ambiguous else, fixing a GCC warning.
by Benjamin Kramer
· 14 years ago
43fdb7f
Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is.
by Jordy Rose
· 14 years ago
ba0f61c
Fold additive constants, and support comparsions of the form $sym+const1 <> const2
by Jordy Rose
· 14 years ago
d617b85
Static analyzer: Don't crash when casting a symbolic region address to a float. Fixes PR 6854.
by Ted Kremenek
· 15 years ago
461147f
Remove unused parameter.
by Zhongxing Xu
· 15 years ago
1309f9a
Split libAnalysis into two libraries: libAnalysis and libChecker.
by Ted Kremenek
· 15 years ago
[Renamed (98%) from lib/Analysis/SimpleSValuator.cpp]
c50e6df
Switch RegionStore over to using <BaseRegion+raw offset> to store
by Ted Kremenek
· 15 years ago
ba5fb5a
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
by Kovarththanan Rajaratnam
· 15 years ago
9b02034
Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant.
by Ted Kremenek
· 15 years ago
b5deae5
Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely
by Ted Kremenek
· 15 years ago
b1d0422
Fix crash introduced by r83358 where a symbol could be eagerly
by Ted Kremenek
· 15 years ago
cd8f6ac
Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when
by Ted Kremenek
· 15 years ago
8041747
Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers.
by Ted Kremenek
· 15 years ago
5b9bd21
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
by Ted Kremenek
· 15 years ago
1eb4433
Remove tabs, and whitespace cleanups.
by Mike Stump
· 15 years ago
32c3fa4
Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast
by Ted Kremenek
· 15 years ago
9031dd7
RegionStore:
by Ted Kremenek
· 15 years ago
dd66114
Enhance SimpleSValuator to handle nonloc::LocAsInteger -> location casts.
by Ted Kremenek
· 15 years ago
4653739
Move RegionStoreManager over to using new
by Ted Kremenek
· 15 years ago
54ca9b1
Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case
by Ted Kremenek
· 15 years ago
e839172
Unbreak build.
by Ted Kremenek
· 15 years ago