aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/pointer-arithmetic.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis/pointer-arithmetic.c')
-rw-r--r--test/Analysis/pointer-arithmetic.c30
1 files changed, 0 insertions, 30 deletions
diff --git a/test/Analysis/pointer-arithmetic.c b/test/Analysis/pointer-arithmetic.c
deleted file mode 100644
index 575dfffc01e8..000000000000
--- a/test/Analysis/pointer-arithmetic.c
+++ /dev/null
@@ -1,30 +0,0 @@
-// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
-
-int test1() {
- int *p = (int *)sizeof(int);
- p -= 1;
- return *p; // expected-warning {{Dereference of null pointer}}
-}
-
-int test2() {
- int *p = (int *)sizeof(int);
- p -= 2;
- p += 1;
- return *p; // expected-warning {{Dereference of null pointer}}
-}
-
-int test3() {
- int *p = (int *)sizeof(int);
- p++;
- p--;
- p--;
- return *p; // expected-warning {{Dereference of null pointer}}
-}
-
-int test4() {
- // This is a special case where pointer arithmetic is not calculated to
- // preserve useful warnings on dereferences of null pointers.
- int *p = 0;
- p += 1;
- return *p; // expected-warning {{Dereference of null pointer}}
-}