https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128183
--- Comment #3 from Julien Marrec <julien.marrec at gmail dot com> --- Patch posted: https://inbox.sourceware.org/gcc-patches/bmm.hnksothexu.gcc.gcc.jmarrec.258....@forge-stage.sourceware.org (forge PR: https://forge.sourceware.org/gcc/gcc/pulls/258)
