From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 20 Oct 2011 19:33:06 +0000 (+0000)
Subject: Add test case for analyzer crash reported in <rdar://problem/10308201> (which is... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=beedc5f4b027576f3a58d397f1599fc9d61baa4a;p=clang

Add test case for analyzer crash reported in <rdar://problem/10308201> (which is already fixed in mainline).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142606 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Analysis/misc-ps.c b/test/Analysis/misc-ps.c
index bef5b06181..0dfb3ae1ac 100644
--- a/test/Analysis/misc-ps.c
+++ b/test/Analysis/misc-ps.c
@@ -81,3 +81,18 @@ int PR8962_f (int *t) {
   }) ) return 0;
   return *t; // no-warning
 }
+
+// This previously crashed logic in the analyzer engine when evaluating locations.
+void rdar10308201_aux(unsigned val);
+void rdar10308201 (int valA, void *valB, unsigned valC) {
+  unsigned actual_base, lines;
+  if (valC == 0) {
+    actual_base = (unsigned)valB;
+    for (;;) {
+      if (valA & (1<<0))
+        rdar10308201_aux(actual_base);
+    }
+  }
+}
+
+