aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/misc-ps-ranges.m
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis/misc-ps-ranges.m')
-rw-r--r--test/Analysis/misc-ps-ranges.m59
1 files changed, 0 insertions, 59 deletions
diff --git a/test/Analysis/misc-ps-ranges.m b/test/Analysis/misc-ps-ranges.m
deleted file mode 100644
index 161d9817bcf1..000000000000
--- a/test/Analysis/misc-ps-ranges.m
+++ /dev/null
@@ -1,59 +0,0 @@
-// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -analyzer-store=region -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
-}
-
-// PR 5969: the comparison of argc < 3 || argc > 4 should constraint the switch
-// statement from having the 'default' branch taken. This previously reported a false
-// positive with the use of 'v'.
-
-int pr5969(int argc, char *argv[]) {
-
- int v;
-
- if ((argc < 3) || (argc > 4)) return 0;
-
- switch(argc) {
- case 3:
- v = 33;
- break;
- case 4:
- v = 44;
- break;
- }
-
- return v; // no-warning
-}
-
-int pr5969_positive(int argc, char *argv[]) {
-
- int v;
-
- if ((argc < 3) || (argc > 4)) return 0;
-
- switch(argc) {
- case 3:
- v = 33;
- break;
- }
-
- return v; // expected-warning{{Undefined or garbage value returned to caller}}
-}