[cfe-commits] r59683 - in /cfe/trunk/test/Analysis: uninit-vals-ps-region.c uninit-vals-ps.c

Zhongxing Xu xuzhongxing at gmail.com
Wed Nov 19 16:46:15 PST 2008


Author: zhongxingxu
Date: Wed Nov 19 18:46:15 2008
New Revision: 59683

URL: http://llvm.org/viewvc/llvm-project?rev=59683&view=rev
Log:
Split region store specific test cases.

Added:
    cfe/trunk/test/Analysis/uninit-vals-ps-region.c
Modified:
    cfe/trunk/test/Analysis/uninit-vals-ps.c

Added: cfe/trunk/test/Analysis/uninit-vals-ps-region.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/uninit-vals-ps-region.c?rev=59683&view=auto

==============================================================================
--- cfe/trunk/test/Analysis/uninit-vals-ps-region.c (added)
+++ cfe/trunk/test/Analysis/uninit-vals-ps-region.c Wed Nov 19 18:46:15 2008
@@ -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
+}

Modified: cfe/trunk/test/Analysis/uninit-vals-ps.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/uninit-vals-ps.c?rev=59683&r1=59682&r2=59683&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/uninit-vals-ps.c (original)
+++ cfe/trunk/test/Analysis/uninit-vals-ps.c Wed Nov 19 18:46:15 2008
@@ -42,20 +42,3 @@
     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
-}





More information about the cfe-commits mailing list