https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67710
--- Comment #8 from mrs at gcc dot gnu.org <mrs at gcc dot gnu.org> --- Ok.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67710
--- Comment #8 from mrs at gcc dot gnu.org <mrs at gcc dot gnu.org> --- Ok.