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
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 hitting the
verification failure, because the new vdef introduced by