[creduce-bugs] remove-nested-function explosion

[regehr at cs.utah.edu (John Regehr)]

We've run into this problem before, and Yang fixed it by tightening up the 
heuristics.  Probably the same thing will work again.  Thanks for the testcase!

John



On 06/20/2012 12:54 PM, Konstantin Tokarev wrote:
> Hi all,
>
> I've found a case when remove-nested-function pass leads to unlimited growth of input file.
> In attachement you can find input file before creduce run (good) and after a number of
> remove-nested-function passes. It's reproducible with clang_delta from master.
>
> Unfortunately reproduction of this issue requires special build of compiler, but I can provide
> it if it's absolutely needed for investigation of this issue.
>