https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55976
--- Comment #15 from Dave Pagan <dave.pagan at oracle dot com> --- Thanks, Paolo! On 06/28/2018 01:44 AM, paolo.carlini at oracle dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55976 > > Paolo Carlini <paolo.carlini at oracle dot com> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > Status|ASSIGNED |RESOLVED > Resolution|--- |FIXED > Target Milestone|--- |9.0 > > --- Comment #14 from Paolo Carlini <paolo.carlini at oracle dot com> --- > Done. I think we can close the bug as fixed in trunk. >