Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
db5f266be075aba0f4ca1690e358245a726c9c61
/
lib
/
Analysis
/
Store.cpp
db5f266
Fix 80 col violation.
by Ted Kremenek
· 16 years ago
fc8f57c
Restructure NewCastRegion to use a switch statement that dispatches off the
by Ted Kremenek
· 16 years ago
07cdec1
Fix 80 col violation.
by Ted Kremenek
· 16 years ago
b9a4425
NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids.
by Ted Kremenek
· 16 years ago
1f612cb
Implement FIXME.
by Ted Kremenek
· 16 years ago
411af40
StoreManager::NewCastRegion:
by Ted Kremenek
· 16 years ago
145918c
NewCastRegion:
by Ted Kremenek
· 16 years ago
ca4e1b7
Fix loop so that 'continue' statements actually cause the loop to iterate.
by Ted Kremenek
· 16 years ago
48ce7de
Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager
by Ted Kremenek
· 16 years ago
313b6da
Further cleanup of region invalidation code. No functionality change.
by Zhongxing Xu
· 16 years ago
43e2aaf
Start to gradually move region invalidation code into store manager.
by Zhongxing Xu
· 16 years ago
19cfa2b
Update old CastRegion logic to not assume that ElementRegion's super region is a
by Ted Kremenek
· 16 years ago
143b2fc
Use canonical type for building ElementRegion. Otherwise ElementRegions cannot
by Zhongxing Xu
· 16 years ago
ff69782
rename: MemRegion: RValueType => ObjectType LValueType => LocationType
by Zhongxing Xu
· 16 years ago
4253051
Fix analyzer regression reported in PR 4164:
by Ted Kremenek
· 16 years ago
cd9392f
Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.
by Ted Kremenek
· 16 years ago
124838b
Zhongxing already implemented this FIXME.
by Ted Kremenek
· 16 years ago
b5b848e
array indexes are unsigned integers of the same width as pointer.
by Zhongxing Xu
· 16 years ago
20bd746
BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.
by Ted Kremenek
· 16 years ago
fd6b4f3
Handle 'long x = 0; char *y = (char *) x;' by layering an
by Ted Kremenek
· 16 years ago
a8607d1
StoreManager::CastRegion:
by Ted Kremenek
· 16 years ago
30d1b99
This patch is largely due to Zhongxing Xu. I've simply applied it because of
by Ted Kremenek
· 16 years ago
c62abc1
Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'
by Ted Kremenek
· 16 years ago