https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122572
--- Comment #21 from uecker at gcc dot gnu.org --- Created attachment 63250 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63250&action=edit patch 2/2 This is the more critical second part (which is not needed to fix the specific bug reported, but addresses the more general issue)
