https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113200
--- Comment #4 from Peter Dimov <pdimov at gmail dot com> --- I didn't notice your subsequent comment, sorry. :-)
pdimov at gmail dot com via Gcc-bugs Tue, 02 Jan 2024 08:51:34 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113200
--- Comment #4 from Peter Dimov <pdimov at gmail dot com> --- I didn't notice your subsequent comment, sorry. :-)