https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51628 --- Comment #30 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to Eric Gallager from comment #29) > > I don't remember the exact commit number but HJ Lu added it; I added him on > cc with my previous comment, so maybe he can explain. It is r251180.