From 94e6d98caecc7e32eb5a31248631507fc6af6230 Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 5 Feb 2010 06:10:46 +0000
Subject: [PATCH] Add test case showing the analyzer invalidates '__block'
 variables when the block is passed as an argument to an ObjC method.

llvm-svn: 95366
---
 clang/test/Analysis/misc-ps-region-store.m | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/clang/test/Analysis/misc-ps-region-store.m b/clang/test/Analysis/misc-ps-region-store.m
index 20284fe95b52..6666dae2ed8b 100644
--- a/clang/test/Analysis/misc-ps-region-store.m
+++ b/clang/test/Analysis/misc-ps-region-store.m
@@ -590,6 +590,19 @@ int blocks_2(int *p, int z) {
   return z;
 }
 
+// Test that the value of 'x' is considered invalidated after the block
+// is passed as an argument to the message expression.
+typedef void (^RDar7582031CB)(void);
+@interface RDar7582031
+- rdar7582031:RDar7582031CB;
+@end
+
+unsigned rdar7582031(RDar7582031 *o) {
+  __block unsigned x;
+  [o rdar7582031:^{ x = 1; }];
+  return x; // no-warning
+}
+
 //===----------------------------------------------------------------------===//
 // <rdar://problem/7462324> - Test that variables passed using __blocks
 //  are not treated as being uninitialized.