https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44126
--- Comment #7 from Tom Tromey <tromey at gcc dot gnu.org> --- I happened to be looking in this area and I see that gcc still generates the old, incorrect form.
tromey at gcc dot gnu.org via Gcc-bugs Sun, 02 Apr 2023 19:03:23 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44126
--- Comment #7 from Tom Tromey <tromey at gcc dot gnu.org> --- I happened to be looking in this area and I see that gcc still generates the old, incorrect form.