https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111808
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Excess precision changes behavior in lots of significant ways, and I don't really see how we could warn for this, there are different kinds of excess precision, the i386 one of promoting float/double to long double, s390{,x} way of promoting float to double, different arches depending on flags either promote _Float16 operations to float (or double or long double) or don't, so I don't really see how we could try to evaluate expressions 3-6 different ways and warn if there is some difference between those.