https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110664
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Yes, this would be a bug.
joseph at codesourcery dot com via Gcc-bugs Thu, 20 Jul 2023 16:16:43 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110664
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Yes, this would be a bug.