https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106510
--- Comment #1 from David Binderman <dcb314 at hotmail dot com> --- Reduced C code seems to be: void ine_ok() { float y, x; if (x < y || x > y || y) abort(); } Same problem exists on native x86_64, so I will have a go at finding a git range.