Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
80417471b01ab2726cd04773b2ab700ce564073c
/
lib
/
Analysis
/
SimpleSValuator.cpp
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