https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84442
--- Comment #5 from dave.anglin at bell dot net --- On 2018-04-17 10:21 AM, redi at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84442 > > --- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- > Dave, does the patch in comment 3 fix the FAIL? > Yes, it fixes the fail. Thanks, Dave