https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122282
--- Comment #1 from Tom de Vries <vries at gcc dot gnu.org> --- It was suggested here by Ulrich ( https://sourceware.org/pipermail/gdb-patches/2025-October/221693.html ) to treat this as a bug in the ABI spec.
