diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-20 00:46:15 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-20 00:46:15 +0000 |
commit | e8e4d8c9cb29de6aad77163bd8a59066985a43b9 (patch) | |
tree | b2e3ae64919b41506206a775dd5016397acddd98 | |
parent | 2682d8b3a0415d521d5ca11afb13a8bc5c559a31 (diff) |
Split region store specific test cases.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59683 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | test/Analysis/uninit-vals-ps-region.c | 17 | ||||
-rw-r--r-- | test/Analysis/uninit-vals-ps.c | 17 |
2 files changed, 17 insertions, 17 deletions
diff --git a/test/Analysis/uninit-vals-ps-region.c b/test/Analysis/uninit-vals-ps-region.c new file mode 100644 index 0000000000..870ca54e41 --- /dev/null +++ b/test/Analysis/uninit-vals-ps-region.c @@ -0,0 +1,17 @@ +// RUN: clang -checker-simple -analyzer-store-region -verify %s + +struct s { + int data; +}; + +struct s global; + +void g(int); + +void f4() { + int a; + if (global.data == 0) + a = 3; + if (global.data == 0) + g(a); // no-warning +} diff --git a/test/Analysis/uninit-vals-ps.c b/test/Analysis/uninit-vals-ps.c index c4c02af55d..5d4f4429b5 100644 --- a/test/Analysis/uninit-vals-ps.c +++ b/test/Analysis/uninit-vals-ps.c @@ -42,20 +42,3 @@ int f3(void) { return 1; } -// RUN: clang -checker-simple -analyzer-store-region -verify %s - -struct s { - int data; -}; - -struct s global; - -void g(int); - -void f4() { - int a; - if (global.data == 0) - a = 3; - if (global.data == 0) - g(a); // no-warning -} |