https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105562
--- Comment #25 from Romain Geissler <romain.geissler at amadeus dot com> --- So it means we should rather go for "silencing" workaround from comment #19 ?
romain.geissler at amadeus dot com via Gcc-bugs Wed, 06 Dec 2023 02:35:50 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105562
--- Comment #25 from Romain Geissler <romain.geissler at amadeus dot com> --- So it means we should rather go for "silencing" workaround from comment #19 ?