[Bug ada/65519] [5 regression] unable to coalesce ssa_names 2 and 87 which are marked as MUST COALESCE

[ebotcazou at gcc dot gnu.org]

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 Unbounded_String;

end P;

compiled at -O2 with SJLJ exceptions.