https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111157
--- Comment #9 from Martin Jambor <jamborm at gcc dot gnu.org> --- I have proposed a fix on the mailing list consisting of: - https://gcc.gnu.org/pipermail/gcc-patches/2023-October/632042.html and - https://gcc.gnu.org/pipermail/gcc-patches/2023-October/632044.html and an (optional) RFC one https://gcc.gnu.org/pipermail/gcc-patches/2023-October/632043.html