https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111777
--- Comment #9 from seurer at gcc dot gnu.org --- That patch works fine on a system where the build was failing.
seurer at gcc dot gnu.org via Gcc-bugs Thu, 12 Oct 2023 07:53:19 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111777
--- Comment #9 from seurer at gcc dot gnu.org --- That patch works fine on a system where the build was failing.