Re: [creduce-bugs] param-to-global: Empty transformation leads to infinite loop

[Yang Chen]

I plan to do it at airport tomorrow :)

- Yang

On 10/13/12 6:36 PM, John Regehr wrote:

Thanks Konstantin!

Yang is traveling but I expect will be able to fix this soon.

John



On 10/13/2012 12:13 PM, Konstantin Tokarev wrote:

13.10.2012, 22:11, "Konstantin Tokarev" <annu...@yandex.ru>:

Running

clang_delta --transformation=param-to-global --counter=2 gmock-gtest-all.cc

on attached file does not modify it but exits successfully leading to infinite loop in creduce.

param-to-local is also affected