https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124434 --- Comment #11 from Brian M. Sutin <gnu at skewray dot com> --- Got it. This is not gcc's issue to fix; Intel is emulating an ancient x87 standard.