[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.

John


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.

- Yang