https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63765
--- Comment #13 from Rainer Orth <ro at gcc dot gnu.org> --- Created attachment 33933 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33933&action=edit alternative patch
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63765
--- Comment #13 from Rainer Orth <ro at gcc dot gnu.org> --- Created attachment 33933 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33933&action=edit alternative patch