redi at gcc dot gnu.org Fri, 20 Dec 2019 02:49:20 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92495
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- Yes.