[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