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

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

I can probably make the change easily but it will require some testing and I'm not sure if Eric has rolled the release already?


On 09/22/2014 05:05 PM, Yang Chen wrote:
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.

- Yang