https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53036
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- Bug 85723 deals with the problem mentioned in comment 5.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53036
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- Bug 85723 deals with the problem mentioned in comment 5.