[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: regehr at cs.utah.edu (John Regehr)
Date: Sat, 13 Oct 2012 18:36:39 -0600
In-reply-to: <745841350152035@web17e.yandex.ru>
References: <744851350151864@web17e.yandex.ru> <745841350152035@web17e.yandex.ru>

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
>

Follow-Ups:
- [creduce-bugs] param-to-global: Empty transformation leads to infinite loop
  - From: chenyang at cs.utah.edu (Yang Chen)

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)

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