From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 10 Apr 2009 04:02:38 +0000 (+0000)
Subject: Split failing test case from misc-ps.m to misc-ps-ranges.m (which tests
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=3a0fd13778cbe38ff20b467345a468eefb7072d2;p=clang

Split failing test case from misc-ps.m to misc-ps-ranges.m (which tests
functionality specific to RangeConstraintManager).


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68759 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Analysis/misc-ps-ranges.m b/test/Analysis/misc-ps-ranges.m
new file mode 100644
index 0000000000..a191bec3cf
--- /dev/null
+++ b/test/Analysis/misc-ps-ranges.m
@@ -0,0 +1,23 @@
+// RUN: clang-cc -analyze -checker-cfref --analyzer-store=basic -analyzer-constraints=range --verify -fblocks %s &&
+// RUN: clang-cc -analyze -checker-cfref --analyzer-store=region -analyzer-constraints=range --verify -fblocks %s
+
+// <rdar://problem/6776949>
+// main's 'argc' argument is always > 0
+int main(int argc, char* argv[]) {
+  int *p = 0;
+
+  if (argc == 0)
+    *p = 1;
+
+  if (argc == 1)
+    return 1;
+
+  int x = 1;
+  int i;
+  
+  for(i=1;i<argc;i++){
+    p = &x;
+  }
+
+  return *p; // no-warning
+}
\ No newline at end of file
diff --git a/test/Analysis/misc-ps.m b/test/Analysis/misc-ps.m
index 0f85d22436..777784aabc 100644
--- a/test/Analysis/misc-ps.m
+++ b/test/Analysis/misc-ps.m
@@ -245,25 +245,3 @@ void rdar_6777003(int x) {
   *p = 1; // expected-warning{{Dereference of null pointer}}  
 }
 
-// <rdar://problem/6776949>
-// main's 'argc' argument is always > 0
-int main(int argc, char* argv[]) {
-  int *p = 0;
-
-  if (argc == 0)
-    *p = 1;
-
-  if (argc == 1)
-    return 1;
-
-  int x = 1;
-  int i;
-  
-  for(i=1;i<argc;i++){
-    p = &x;
-  }
-
-  return *p; // no-warning
-}
-
-