Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
1e63492a1408c0152251cc9e77cf42b7fd53169f
/
test
/
Analysis
/
no-outofbounds.c
f7a0cf4
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
by Ted Kremenek
· 16 years ago
cad9fef
Rename test file.
by Ted Kremenek
· 16 years ago
[Renamed from test/Analysis/no-outofbounds-basicstore.c]
2f08991
RegionStoreManager also passes this test file.
by Ted Kremenek
· 16 years ago
c037eac
Switch BasicStoreManager to use the new CastRegion implementation by default,
by Ted Kremenek
· 16 years ago
e1cea75
Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'.
by Ted Kremenek
· 16 years ago
0b9ad89
Rename no-outofbounds.c to xfail-no-outofbounds.c and split off that
by Ted Kremenek
· 16 years ago
[Renamed (66%) from test/Analysis/no-outofbounds.c]
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