Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
6b855121f3c23e9cf2b548cbf2dd3d16fdcf610c
/
test
/
Analysis
/
no-outofbounds.c
4d912b2
When a constant size array is casted to another type, its length should be scaled as well.
by Jordy Rose
· 15 years ago
9618b85
Use the element type to compute the array size when the base region is a VarRegion.
by Zhongxing Xu
· 15 years ago
565e465
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
by Ted Kremenek
· 16 years ago
a572887
Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.
by Daniel Dunbar
· 16 years ago
ef74f4c
Replace clang-cc with clang -cc1.
by Zhongxing Xu
· 16 years ago
8382cf5
Add clang-cc option "--analyzer-experimental-internal-checks". This
by Ted Kremenek
· 16 years ago
58e689f
Reimplement out-of-bound array access checker with the new checker interface.
by Zhongxing Xu
· 16 years ago
4fcfde4
Eliminate &&s in tests.
by Daniel Dunbar
· 16 years ago
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