https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111808
--- Comment #6 from Martin Uecker <muecker at gwdg dot de> --- Adding a note is a good idea, but it doesn't really solve the issue. The problem I see is that somebody developing on x86-64 does not get a warning that the code is not strictly conforming and then it fails to build elsewhere. Ideally, there is an algorithm which can decide whether the result is exact in all versions with same or higher precision or not. Otherwise, computing it with some higher precision and comparing the results would catch most problems (but not all). Alternatively, one could downgrade the error to warning. The code may then be slightly wrong on i386 but at least the build does not fail.