https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98724
Maciej W. Rozycki <macro at orcam dot me.uk> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |DUPLICATE
CC| |macro at orcam dot me.uk
--- Comment #7 from Maciej W. Rozycki <macro at orcam dot me.uk> ---
Fixed; also duplicate of PR ada/97504.
*** This bug has been marked as a duplicate of bug 97504 ***
