On May 8, 2020 10:57:35 PM GMT+02:00, Alexandre Oliva wrote:
>On May 8, 2020, Richard Biener via Gcc-patches
> wrote:
>
>> OK, so I think the issue is that we are using RPO availability during
>> the DOM elimination walk at all - there can be easily disconnects
>> between what RPO iteration left
On May 8, 2020, Richard Biener via Gcc-patches wrote:
> OK, so I think the issue is that we are using RPO availability during
> the DOM elimination walk at all - there can be easily disconnects
> between what RPO iteration left us with and what the DOM walk
> eliminates. Fixing this fixes the t
On Fri, May 8, 2020 at 8:58 AM Richard Biener
wrote:
>
> On Thu, May 7, 2020 at 6:27 PM Alexandre Oliva wrote:
> >
> >
> > gnat.dg/opt83.adb compiled with -O2+ would enter an infinite loop with
> > memory allocation within fre. I don't think there is anything
> > Ada-specific in the bug, but the
On Thu, May 7, 2020 at 6:27 PM Alexandre Oliva wrote:
>
>
> gnat.dg/opt83.adb compiled with -O2+ would enter an infinite loop with
> memory allocation within fre. I don't think there is anything
> Ada-specific in the bug, but the exact inlining and loop unrolling
> circumstances needed to trigger
gnat.dg/opt83.adb compiled with -O2+ would enter an infinite loop with
memory allocation within fre. I don't think there is anything
Ada-specific in the bug, but the exact inlining and loop unrolling
circumstances needed to trigger the bug are quite fragile, so I didn't
try very hard to translat
