https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84213
Pierre-Marie de Rodat <derodat at adacore dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
Assignee|rguenth at gcc dot gnu.org |derodat at adacore dot
com
--- Comment #16 from Pierre-Marie de Rodat <derodat at adacore dot com> ---
Martin, the issue should now be fixed on trunk. Thank you for reporting it! Can
you confirm everything is fine on your side?
