https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95590
--- Comment #1 from jules at gcc dot gnu.org --- In discussion: https://gcc.gnu.org/pipermail/gcc-patches/2020-June/548679.html https://gcc.gnu.org/pipermail/gcc-patches/2020-July/550623.html https://gcc.gnu.org/pipermail/gcc-patches/2020-July/550654.html