[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 2014-09-22 15:56, John Regehr wrote:
Thanks for the test case. We know what causes bugs of this form-- a
pass reports that it made progress but it actually didn't. This
breaks a C-Reduce invariant.
If this happens often, we can put a check for this into the main
C-Reduce, but until this I hadn't seen it happen for quite a while.
Maybe it's better to add a check on this and save the temp file upon the
failure? If somehow the blank transformation happened very early, then
it would be quite bad.