https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114065
--- Comment #35 from Marc Poulhiès <dkm at gcc dot gnu.org> --- Hello Matthias, As planned, we had another look at Nicolas' changes, and sent some feedback on January 3rd, see the messages on gcc-patches@ (https://inbox.sourceware.org/gcc-patches/878qrrgbbz....@adacore.com/). Mainly, the changes are OK but need adjustment to not break existing API + minor comment on glibc dependency. We haven't heard back since then.
