]> granicus.if.org Git - clang/commitdiff
Add test case for <rdar://problem/8258814>.
authorTed Kremenek <kremenek@apple.com>
Mon, 2 Aug 2010 20:33:00 +0000 (20:33 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 2 Aug 2010 20:33:00 +0000 (20:33 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110058 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/misc-ps-region-store.m

index e8b9533de5ef60d9a469903bda0cc0c0913658b3..9c2add0167a9b0a9e6813a162d8ca1d4cc41cf0f 100644 (file)
@@ -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
+}