https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65519
--- Comment #4 from Eric Botcazou ebotcazou at gcc dot gnu.org ---
This boils down to:
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
with Interfaces;use Interfaces;
package P is
type Arr is array (Unsigned_32 range ) of
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65519
--- Comment #5 from Eric Botcazou ebotcazou at gcc dot gnu.org ---
It's forwprop4 propagating an abnormal SSA name:
bb 5:
[...]
I.3_30(ab) = I.3_1 + 1;
_31 = (interfaces__unsigned_32) I.3_30(ab);
[...]
bb 13:
_43 = v.P_ARRAY;
_45
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65519
--- Comment #6 from Eric Botcazou ebotcazou at gcc dot gnu.org ---
The problematic statement is created by the gimple-match stuff:
Applying pattern match.pd:761, gimple-match.c:1727
Applying pattern match.pd:625, gimple-match.c:1525
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65519
Eric Botcazou ebotcazou at gcc dot gnu.org changed:
What|Removed |Added
Status|NEW |ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65519
Eric Botcazou ebotcazou at gcc dot gnu.org changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65519
Eric Botcazou ebotcazou at gcc dot gnu.org changed:
What|Removed |Added
CC||rguenth at