https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110756
--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> --- Whoops, sorry for not catching this.. I agree with Andrew, and your proposed patch looks good to me FWIW
ppalka at gcc dot gnu.org via Gcc-bugs Fri, 21 Jul 2023 06:38:11 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110756
--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> --- Whoops, sorry for not catching this.. I agree with Andrew, and your proposed patch looks good to me FWIW