oked on the email list: https://gcc.gnu.org/pipermail/gcc-patches/2026-July/724863.html
And already pushed: https://gcc.gnu.org/cgit/gcc/commit/?id=3e2b0fcab75527bae01a0e22fe993addcf8475d9 So closing. -- https://forge.sourceware.org/gcc/gcc/pulls/193#issuecomment-6900
