https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113977
--- Comment #13 from Tom Tromey <tromey at gcc dot gnu.org> --- This is fixed on trunk now. I think that means it'll be in GCC 14... ? Which maybe I shouldn't have done according to the current status. Anyway, I'm not sure any more how gcc manages bugs, so I don't know if I should close this or what. gdb fix still not in, will do that soon.
