[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass

On 09/22/2014 07:57 PM, John Regehr wrote:
Ok, C-Reduce now detects this condition. The underlying clang_delta bug isn't fixed. Thanks for the test case Markus!

I will fix it after the release.

I also altered the crash reporting logic for clang delta but did not test it since I don't have a crasher for it right now. Does anyone have one? If not I can always insert a segfault but it's nicer to test on a real bug.

Maybe crash bug caused by stack overflow in Souper?

- Yang