https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67973
--- Comment #17 from mrs at gcc dot gnu.org <mrs at gcc dot gnu.org> --- A back port is Ok.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67973
--- Comment #17 from mrs at gcc dot gnu.org <mrs at gcc dot gnu.org> --- A back port is Ok.