https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94083
--- Comment #6 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- Contrary to what was claimed in bug 66462, I don't think there ever was a fixed patch. Note that in bug 66462 comment 19, "June" is June 2017 but "November" is November 2016 - the "November" one is the *older* one.