diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-08-02 20:33:00 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-08-02 20:33:00 +0000 |
commit | 80776387c299a40f32dc95246bef0098bee8d6dc (patch) | |
tree | d89ec695ac7ce8a4eae2efa2c21e75bd871a1350 | |
parent | d8c5abb096a5f6babb3709180fe304be5462bcc1 (diff) |
Add test case for <rdar://problem/8258814>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110058 91177308-0d34-0410-b5e6-96231b3b80d8
-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 +} |