https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113472
--- Comment #7 from Rainer Orth <ro at gcc dot gnu.org> --- *** Bug 113473 has been marked as a duplicate of this bug. ***
ro at gcc dot gnu.org via Gcc-bugs Fri, 26 Jun 2026 06:41:43 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113472
--- Comment #7 from Rainer Orth <ro at gcc dot gnu.org> --- *** Bug 113473 has been marked as a duplicate of this bug. ***