https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104442
--- Comment #2 from Marc Poulhiès <poulhies at adacore dot com> --- Ok thanks for looking into this. I'll submit the patch on the list then !
poulhies at adacore dot com via Gcc-bugs Wed, 09 Feb 2022 00:51:27 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104442
--- Comment #2 from Marc Poulhiès <poulhies at adacore dot com> --- Ok thanks for looking into this. I'll submit the patch on the list then !