https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117419
--- Comment #3 from uecker at gcc dot gnu.org --- I sent a patch before but there is still something wrong: PATCH: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/655473.html Discussion: https://gcc.gnu.org/pipermail/gcc-patches/2024-July/656106.html https://patchwork.sourceware.org/project/gcc/patch/0f6bc7aacf6407b4fcdcb10c9d99f10292461a19.ca...@tugraz.at/