https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100757
--- Comment #15 from Christophe Lyon <clyon at gcc dot gnu.org> --- Hi, yes this is close to completion. The patch series was approved last week by Richard Sandiford: https://gcc.gnu.org/pipermail/gcc-patches/2021-October/581778.html but I have found a bug with more validations, I'm discussing the fix with him, should be ready shortly.