https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82155
Pierre-Marie de Rodat <derodat at adacore dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #9 from Pierre-Marie de Rodat <derodat at adacore dot com> ---
Fix is on trunk and I just merged it in the gcc-7 branch. I’ve left the target
milestone to 7.3 even though 7.4 is available since according to
https://gcc.gnu.org/gcc-7/, the last release was 7.2. Hoping I got it right!
