https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103276
--- Comment #10 from Christopher Albert <albert at tugraz dot at> --- Created attachment 63134 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63134&action=edit Better alternative as suggested by Tobias Burnus Thanks, Tobias, for the fast response! This new patch implements your suggestion.
