https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118477
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Or https://gcc.gnu.org/pipermail/gcc-patches/2025-January/673428.html Both should work.
jakub at gcc dot gnu.org via Gcc-bugs Tue, 14 Jan 2025 09:25:48 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118477
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Or https://gcc.gnu.org/pipermail/gcc-patches/2025-January/673428.html Both should work.