diff options
Diffstat (limited to 'test/Analysis/pointer-arithmetic.c')
-rw-r--r-- | test/Analysis/pointer-arithmetic.c | 30 |
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}} -} |