Svadev mailing list

[Will Dietz <willdtz AT gmail.com>]

On Fri, Jun 1, 2012 at 3:23 PM, Jingyue Wu 
<wujingyue AT gmail.com>
 wrote:
> Thanks for fixing this issue! I don't think "RUNNO" was picked up on my
> side. But when "dsaopt" (which is the last command) returns 0, "XFAIL" still
> treats it as an error. I think this is why the test case failed. But anyway,
> since you removed this test case already, we needn't worry about it.
>
> dsa/regression/2012-04-29.SQLiteBUInfiniteRecursion.ll is still failing on
> my side. All other test cases are passed though. The test case keeps eating
> memory and never stops. gdb seems to suggest DSA is running into infinite
> recursions (a very long call stack). I'll send you the gdb call stack when I
> get a chance. Shall I issue a separate bug report?
>
> My platform:
> Linux 3.2
> gcc 4.6
> llvm 3.0
>
> Jingyue
>
>

Hmm.  It seems like XFAIL isn't doing what I think it should on your platform.

The failure tested in 2012-04-29.SQLiteBUInfiniteRecursion.ll was a
long-standing bug in DSA (PR8779).... and has been XFAIL'd for a while
since no one was working to fix it.

Regardless, I hope this didn't negatively impact your use of DSA and
if it helps I just committed a fix for it in r159124.

Thank you very much for your thorough investigation of the lit
failures, I do appreciate it. Let me know if you have any further
issues!

Have a good one,

~Will