Add test case showing that a recursive block that captures a block pointer that

isn't marked '__block' is bad.

llvm-svn: 96357

1 files changed, 5 insertions, 0 deletions

diff --git a/clang/test/Analysis/blocks.m b/clang/test/Analysis/blocks.m
index e8e96a22cf9..b05b198c548 100644
--- a/clang/test/Analysis/blocks.m
+++ b/clang/test/Analysis/blocks.m
@@ -83,3 +83,8 @@ void test2_b() {
   // 'x' is bound at block creation.
   ^{ y = x + 1; }(); // no-warning
 }
+
+void test2_c() {
+  typedef void (^myblock)(void);
+  myblock f = ^() { f(); }; // expected-warning{{Variable 'f' is captured by block with a garbage value}}
+}
\ No newline at end of file