diff options
Diffstat (limited to 'clang')
| -rw-r--r-- | clang/test/Analysis/misc-ps-region-store.m | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/clang/test/Analysis/misc-ps-region-store.m b/clang/test/Analysis/misc-ps-region-store.m index 6cfd8e53726..af6e53b1dee 100644 --- a/clang/test/Analysis/misc-ps-region-store.m +++ b/clang/test/Analysis/misc-ps-region-store.m @@ -154,3 +154,15 @@ void test_rdar_7114618(struct s_7114618 *s) { } } } + +// Test pointers increment correctly. +void f() { + int a[2]; + a[1] = 3; + int *p = a; + p++; + if (*p != 3) { + int *q = 0; + *q = 3; // no-warning + } +} |
