https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116470
--- Comment #11 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- Created attachment 58991 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58991&action=edit proposed patch I would appreciate when you could check if this patch fixes the problem. Thanks!
