[analyzer] Fix an infinite recursion in region invalidation by adding block count to the BlockDataRegion.

llvm-svn: 195174

1 files changed, 16 insertions, 0 deletions

diff --git a/clang/test/Analysis/blocks.m b/clang/test/Analysis/blocks.m
index 6d3495cd523..62d53607b53 100644
--- a/clang/test/Analysis/blocks.m
+++ b/clang/test/Analysis/blocks.m
@@ -146,3 +146,19 @@ void testReturnVariousSignatures() {
     return 42;
   }();
 }
+
+// This test used to cause infinite loop in the region invalidation.
+void blockCapturesItselfInTheLoop(int x, int m) {
+  void (^assignData)(int) = ^(int x){
+    x++;
+  };
+  while (m < 0) {
+    void (^loop)(int);
+    loop = ^(int x) {
+      assignData(x);
+    };
+    assignData = loop;
+    m++;
+  }
+  assignData(x);
+}