Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
c20482b10ee4ffcea31f67392743ccdf6df1f7f4
/
test
/
Analysis
/
array-struct.c
c57bc59
add test case.
by Zhongxing Xu
· 16 years ago
3450a55
add test case.
by Zhongxing Xu
· 16 years ago
9457a80
Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager.
by Ted Kremenek
· 16 years ago
be1fe1e
Static Analyzer driver/options (partial) cleanup:
by Ted Kremenek
· 16 years ago
562c4d9
Implement retrieval of the default value of element and field regions.
by Zhongxing Xu
· 16 years ago
b61f49c
Add a test case for init expr of array and struct type.
by Zhongxing Xu
· 16 years ago
a7ac944
Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic).
by Ted Kremenek
· 16 years ago
d427023
Add -analyze action to run static analyzer, instead of inferring from
by Daniel Dunbar
· 16 years ago
5834ed6
Add KillStruct to region store.
by Zhongxing Xu
· 16 years ago
6eddeb1
MemRegion:
by Ted Kremenek
· 16 years ago
34a8347
remove a test case that causes compiler warning.
by Zhongxing Xu
· 16 years ago
27cae9e
Add test for initializing array with string literal.
by Zhongxing Xu
· 16 years ago
661fc39
Add documentation for test.
by Zhongxing Xu
· 16 years ago
33d7cbf
Add no-warning to test case.
by Zhongxing Xu
· 16 years ago
ea06544
Improve test case.
by Zhongxing Xu
· 16 years ago
617ff31
Add test cast for struct array.
by Zhongxing Xu
· 16 years ago
512cdb5
Re-enable array-struct test.
by Zhongxing Xu
· 16 years ago
82bd99f
- Revert r59229 and r59232: AllocRegion should be immutable.
by Ted Kremenek
· 17 years ago
26134a1
Add test for unsigned array index.
by Zhongxing Xu
· 17 years ago
fb75b25
Add test for incomplete struct pointer.
by Zhongxing Xu
· 17 years ago
b670133
Add a test case for alloca().
by Zhongxing Xu
· 17 years ago
7b2d21e
Append the test runs with '&&'.
by Argyrios Kyrtzidis
· 17 years ago
04b90bc
Add function side-effect test cast.
by Zhongxing Xu
· 17 years ago
df2aa1e
Add test code for array initialization.
by Zhongxing Xu
· 17 years ago
234a7d2
Add test for SCA region store.
by Zhongxing Xu
· 17 years ago
2e97120
Add StringLiteral test code.
by Zhongxing Xu
· 17 years ago
72e1682
Add random array and struct test code for SCA.
by Zhongxing Xu
· 17 years ago
ef8b28e
Add test case for array and struct variable lvalue evaluation.
by Zhongxing Xu
· 17 years ago