https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123409
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to MichaĆ L. from comment #0) > Should I file separate reports for those two? No, that's not necessary.
redi at gcc dot gnu.org via Gcc-bugs Mon, 05 Jan 2026 16:08:45 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123409
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to MichaĆ L. from comment #0) > Should I file separate reports for those two? No, that's not necessary.