replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Put the region store specific test in a separate file. 

llvm-svn: 63930
This commit is contained in:
Zhongxing Xu 2009-02-06 08:56:58 +00:00
parent e42755334c
commit 4bdb124036
2 changed files with 13 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
clang/test/Analysis/null-deref-ps.c
View File

@ -212,12 +212,3 @@ void f12(HF12ITEM i, char *q) {
*p = 1; // no-warning *p = 1; // no-warning
} }
// Exercise ElementRegion with SymbolicRegion as super region.
void foo(int* p) {
int *x;
int a;
if (p[0] == 1)
x = &a;
if (p[0] == 1)
*x; // no-warning
}

13
clang/test/Analysis/region-only-test.c Normal file
View File

@ -0,0 +1,13 @@
// RUN: clang -analyze -checker-simple -analyzer-store-region -verify %s
// Region store must be enabled for tests in this file.
// Exercise creating ElementRegion with symbolic super region.
void foo(int* p) {
int *x;
int a;
if (p[0] == 1)
x = &a;
if (p[0] == 1)
*x; // no-warning
}