https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125940 --- Comment #7 from Tobias Burnus <burnus at gcc dot gnu.org> --- Created attachment 64833 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64833&action=edit Draft patch (untested)