summaryrefslogtreecommitdiffstats
path: root/test/Analysis/region-only-test.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis/region-only-test.c')
-rw-r--r--test/Analysis/region-only-test.c13
1 files changed, 0 insertions, 13 deletions
diff --git a/test/Analysis/region-only-test.c b/test/Analysis/region-only-test.c
deleted file mode 100644
index 8908adb..0000000
--- a/test/Analysis/region-only-test.c
+++ /dev/null
@@ -1,13 +0,0 @@
-// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s
-
-// Region store must be enabled for tests in this file.
-
-// Exercise creating ElementRegion with symbolic super region.
-void foo(int* p) {
- int *x;
- int a;
- if (p[0] == 1)
- x = &a;
- if (p[0] == 1)
- (void)*x; // no-warning
-}
OpenPOWER on IntegriCloud