https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119792
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Known to fail| |14.2.1 Priority|P3 |P1 Summary|[14.2.1 regression] |[14 Regression] internal |internal error with simple |error with simple |discriminated types in Ada |discriminated types in Ada Known to work| |14.2.0, 15.0 --- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- See my comment in the other PR. I'm making this P1 for now, can you evaluate whether backporting the other "fix" is enough to avoid issues? I fear for a true solution we'd have to untangle TYPE_CANONICAL from "these types should get the same alias-set".