https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101981
--- Comment #5 from Thibaut M. <dumoulin.thibaut at gmail dot com> --- Thanks Martin! Do you think it can be patched?
dumoulin.thibaut at gmail dot com via Gcc-bugs Fri, 20 Aug 2021 08:16:26 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101981
--- Comment #5 from Thibaut M. <dumoulin.thibaut at gmail dot com> --- Thanks Martin! Do you think it can be patched?