https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123856 --- Comment #3 from uecker at gcc dot gnu.org --- Created attachment 63727 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63727&action=edit patch This patch implements Jakub's suggestion.