https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80146
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> This bug is still independent of the other.
No, this bug means that there is a mismatch between the configuration of the
back-end and the configuration of the Ada front-end, and the reason for the
mismatch is PR ada/80117 so it will be fixed when this one is dealt with.
There is no plan to deal more gracefully with the mismatch in the future.
*** This bug has been marked as a duplicate of bug 80117 ***
