https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68441
--- Comment #6 from Steve Kargl <sgk at troutmask dot apl.washington.edu> --- On Thu, Mar 08, 2018 at 07:39:14PM +0000, dominiq at lps dot ens.fr wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68441 > > --- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > > I believe the patch I just committed actually > > fixes this issue. > > Confirmed. > Thanks. I'll close this later today.
