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

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

Subject: [creduce-bugs] param-to-global: Empty transformation leads to infinite loop
From: chenyang at cs.utah.edu (Yang Chen)
Date: Sat, 13 Oct 2012 19:21:35 -0600
In-reply-to: <507A0917.2040707@cs.utah.edu>
References: <744851350151864@web17e.yandex.ru> <745841350152035@web17e.yandex.ru> <507A0917.2040707@cs.utah.edu>

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" <annulen at 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
>>

References:
- [creduce-bugs] param-to-global: Empty transformation leads to infinite loop
  - From: annulen at yandex.ru (Konstantin Tokarev)
- [creduce-bugs] param-to-global: Empty transformation leads to infinite loop
  - From: annulen at yandex.ru (Konstantin Tokarev)
- [creduce-bugs] param-to-global: Empty transformation leads to infinite loop
  - From: regehr at cs.utah.edu (John Regehr)

Prev by Date: [creduce-bugs] param-to-global: Empty transformation leads to infinite loop
Next by Date: [creduce-bugs] param-to-global: Empty transformation leads to infinite loop
Previous by thread: [creduce-bugs] param-to-global: Empty transformation leads to infinite loop
Next by thread: [creduce-bugs] param-to-global: Empty transformation leads to infinite loop
Index(es):
- Date
- Thread