https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89177
--- Comment #1 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- Created attachment 45651 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45651&action=edit proposed patch
bernd.edlinger at hotmail dot de Sat, 09 Feb 2019 10:13:36 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89177
--- Comment #1 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- Created attachment 45651 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45651&action=edit proposed patch