https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77359
--- Comment #17 from David Edelsohn <dje at gcc dot gnu.org> --- Created attachment 39891 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39891&action=edit Experimental patch If this patch is correct, then there is a general problem for Linux also.