https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101865
--- Comment #11 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- Thanks, Tulio, exactly right.
wschmidt at gcc dot gnu.org via Gcc-bugs Thu, 26 Aug 2021 06:46:40 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101865
--- Comment #11 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- Thanks, Tulio, exactly right.