https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61563 --- Comment #2 from Jay Foad <jay.foad at gmail dot com> --- I hadn't considered spurious "invalid" exceptions. I was only thinking about the result of the whole expression, which I think is the same regardless of rounding mode even for double and int.