diff options
| -rw-r--r-- | test/Analysis/misc-ps-region-store.m | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/Analysis/misc-ps-region-store.m b/test/Analysis/misc-ps-region-store.m index e8b9533de5..9c2add0167 100644 --- a/test/Analysis/misc-ps-region-store.m +++ b/test/Analysis/misc-ps-region-store.m @@ -1057,3 +1057,12 @@ void rdar_8243408(void) { *p = 0xDEADBEEF; // expected-warning{{Dereference of null pointer}} } +// <rdar://problem/8258814> +int r8258814() +{ + int foo; + int * a = &foo; + a[0] = 10; + // Do not warn that the value of 'foo' is uninitialized. + return foo; // no-warning +} |