diff options
author | Ted Kremenek <kremenek@apple.com> | 2011-10-20 19:33:06 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2011-10-20 19:33:06 +0000 |
commit | beedc5f4b027576f3a58d397f1599fc9d61baa4a (patch) | |
tree | 33080ca85a355499dd4233188b4d392e3896c6a1 | |
parent | 9324583ad2afd09db8c9967cd05c4fa44bac9555 (diff) |
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
-rw-r--r-- | test/Analysis/misc-ps.c | 15 |
1 files changed, 15 insertions, 0 deletions
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); + } + } +} + + |