aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-08-02 20:33:00 +0000
committerTed Kremenek <kremenek@apple.com>2010-08-02 20:33:00 +0000
commit80776387c299a40f32dc95246bef0098bee8d6dc (patch)
treed89ec695ac7ce8a4eae2efa2c21e75bd871a1350
parentd8c5abb096a5f6babb3709180fe304be5462bcc1 (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.m9
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
+}