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.
uecker at gcc dot gnu.org via Gcc-bugs Thu, 19 Feb 2026 09:23:21 -0800
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.