summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/region-only-test.c
diff options
context:
space:
mode:
Diffstat (limited to 'clang/test/Analysis/region-only-test.c')
-rw-r--r--clang/test/Analysis/region-only-test.c7
1 files changed, 7 insertions, 0 deletions
diff --git a/clang/test/Analysis/region-only-test.c b/clang/test/Analysis/region-only-test.c
index 8908adb1057..b1e70a90546 100644
--- a/clang/test/Analysis/region-only-test.c
+++ b/clang/test/Analysis/region-only-test.c
@@ -11,3 +11,10 @@ void foo(int* p) {
if (p[0] == 1)
(void)*x; // no-warning
}
+
+int a[10];
+
+int *f0() {
+ int *p = a+10;
+ return p; // expected-warning{{Return of Pointer Value Outside of Expected Range}}
+}
OpenPOWER on IntegriCloud