https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119731
--- Comment #19 from Sam James <sjames at gcc dot gnu.org> --- Created attachment 61180 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61180&action=edit kernel.patch Just for completeness: the attached patch (which is what pinskia suggested) works. Plan is for jose/cuper to submit that upstream after doing testing w/ the kernel self tests.
