]> granicus.if.org Git - clang/commitdiff
Split region store specific test cases.
authorZhongxing Xu <xuzhongxing@gmail.com>
Thu, 20 Nov 2008 00:46:15 +0000 (00:46 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Thu, 20 Nov 2008 00:46:15 +0000 (00:46 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59683 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/uninit-vals-ps-region.c [new file with mode: 0644]
test/Analysis/uninit-vals-ps.c

diff --git a/test/Analysis/uninit-vals-ps-region.c b/test/Analysis/uninit-vals-ps-region.c
new file mode 100644 (file)
index 0000000..870ca54
--- /dev/null
@@ -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
+}
index c4c02af55da72cf072fab3f32c81205413b20ff4..5d4f4429b5d51279a2f922cc732e63e93d2cd69a 100644 (file)
@@ -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
-}