Author: kremenek
Date: Thu Oct 20 14:33:06 2011
New Revision: 142606
URL: http://llvm.org/viewvc/llvm-project?rev=142606&view=rev
Log:
Add test case for analyzer crash reported in <rdar://problem/10308201> (which
is already fixed in mainline).
Modified:
cfe/trunk/test/Analysis/misc-ps.c
Modified: cfe/trunk/test/Analysis/misc-ps.c
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps.c?rev=142606&r1=142605&r2=142606&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/misc-ps.c (original)
+++ cfe/trunk/test/Analysis/misc-ps.c Thu Oct 20 14:33:06 2011
@@ -81,3 +81,18 @@
}) ) 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);
+ }
+ }
+}
+
+
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
