https://gcc.gnu.org/bugzilla/show_bug.cgi?id=27318

--- Comment #5 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
To celebrate this PR's 14th birthday (if a bit late), a patch was posted:

https://gcc.gnu.org/pipermail/gcc-patches/2020-June/548045.html

Reply via email to