On 10/16/14 06:11, Tom de Vries wrote:
On 16-10-14 10:14, Richard Biener wrote:
I've tried to implement the 'light verification pass' you
describe above, and I've checked that the error in my patch is
found, also when I remove the trigger for the verification error
from my patch.
Bootstrapped
On Thu, Oct 16, 2014 at 3:57 PM, Tom de Vries wrote:
> On 16-10-14 14:20, Richard Biener wrote:
>>>
>>> Richard,
>>> >
>>> >I've implemented the changes listed above, and also made the message a
>>> > bit
>>> >more verbose:
>>> >...
>>> >kernels-2.c: In function ‘main’:
>>> >kernels-2.c:41:5: erro
On 16-10-14 14:20, Richard Biener wrote:
Richard,
>
>I've implemented the changes listed above, and also made the message a bit
>more verbose:
>...
>kernels-2.c: In function ‘main’:
>kernels-2.c:41:5: error: statement uses released SSA name
> for (COUNTERTYPE ii = 0; ii < N; ii++)
> ^
>
On Thu, Oct 16, 2014 at 2:11 PM, Tom de Vries wrote:
> On 16-10-14 10:14, Richard Biener wrote:
>>
>> On Thu, Oct 16, 2014 at 9:20 AM, Tom de Vries
>> wrote:
>>>
>>> On 08/10/12 11:24, Richard Guenther wrote:
On Sun, Oct 7, 2012 at 12:44 PM, Tom de Vries
wrote:
>
> Richard
On 16-10-14 10:14, Richard Biener wrote:
On Thu, Oct 16, 2014 at 9:20 AM, Tom de Vries wrote:
On 08/10/12 11:24, Richard Guenther wrote:
On Sun, Oct 7, 2012 at 12:44 PM, Tom de Vries wrote:
Richard,
attached patch checks that unlinked uses do not contain ssa-names when renaming.
This asser
On Thu, Oct 16, 2014 at 9:20 AM, Tom de Vries wrote:
> On 08/10/12 11:24, Richard Guenther wrote:
>> On Sun, Oct 7, 2012 at 12:44 PM, Tom de Vries wrote:
>>> Richard,
>>>
>>> attached patch checks that unlinked uses do not contain ssa-names when
>>> renaming.
>>>
>>> This assert triggers when co
On 08/10/12 11:24, Richard Guenther wrote:
> On Sun, Oct 7, 2012 at 12:44 PM, Tom de Vries wrote:
>> Richard,
>>
>> attached patch checks that unlinked uses do not contain ssa-names when
>> renaming.
>>
>> This assert triggers when compiling (without the fix) the PR54735 example.
>>
>> AFAIU, it
On Sun, Oct 7, 2012 at 12:44 PM, Tom de Vries wrote:
> Richard,
>
> attached patch checks that unlinked uses do not contain ssa-names when
> renaming.
>
> This assert triggers when compiling (without the fix) the PR54735 example.
>
> AFAIU, it was due to chance that we caught the PR54735 bug by h
