[creduce-bugs] Infinite loop in rename-param

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

I can't reproduce either.

I clang_delta compiled with 3.3 and also compiled with a recent snapshot.

John



On 07/12/2013 12:26 PM, Yang Chen wrote:
> Weird, I can't reproduce the bad behavior. I got this:
>
> ./clang_delta --transformation=rename-param --counter=1
> bigfib-nodtors_3.cpp
> Error: No valid parameters declarations exist!
>
> - Yang
>
> On 7/12/13 10:42 AM, Konstantin Tokarev wrote:
>> clang_delta --transformation=rename-param --counter=1
>> bigfib-nodtors_3.cpp
>>
>> produces unchanged file, leading to infinite loop.
>>
>