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