https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89459
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Please see whether this still applies with GCC mainline (postdating my 2018-11-07 merge of fmaq changes from glibc which brought in at least one bug fix).