[cfe-commits] r68759 - in /cfe/trunk/test/Analysis: misc-ps-ranges.m misc-ps.m
Ted Kremenek
kremenek at apple.com
Thu Apr 9 21:02:38 PDT 2009
Author: kremenek
Date: Thu Apr 9 23:02:38 2009
New Revision: 68759
URL: http://llvm.org/viewvc/llvm-project?rev=68759&view=rev
Log:
Split failing test case from misc-ps.m to misc-ps-ranges.m (which tests
functionality specific to RangeConstraintManager).
Added:
cfe/trunk/test/Analysis/misc-ps-ranges.m
Modified:
cfe/trunk/test/Analysis/misc-ps.m
Added: cfe/trunk/test/Analysis/misc-ps-ranges.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps-ranges.m?rev=68759&view=auto
==============================================================================
--- cfe/trunk/test/Analysis/misc-ps-ranges.m (added)
+++ cfe/trunk/test/Analysis/misc-ps-ranges.m Thu Apr 9 23:02:38 2009
@@ -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
Modified: cfe/trunk/test/Analysis/misc-ps.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps.m?rev=68759&r1=68758&r2=68759&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/misc-ps.m (original)
+++ cfe/trunk/test/Analysis/misc-ps.m Thu Apr 9 23:02:38 2009
@@ -245,25 +245,3 @@
*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
-}
-
-
More information about the cfe-commits
mailing list