https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79976
--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> --- Created attachment 40932 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40932&action=edit Pedro's patch updated for trunk