https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114363
--- Comment #4 from vincenzo Innocente <vincenzo.innocente at cern dot ch> --- Thanks Harald, I missed the point that float z = pow(double(x),2) and float z = x*x would indeed produce exactly the same result, while in all other cases of course not.
