------- Comment #2 from rguenth at gcc dot gnu dot org 2008-06-21 16:41 ------- Testcase
double foo (double x, double y) { return (long double)x * (long double)y; } where we fold the multiplication to x * y. This is only ok with -funsafe-math-optimizations (like any other conversions removing FP operations). It is of course also ok if we for some reason know that x * y is exactly representable in both double and long double. It is convert_to_real doing this optimization. -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu dot | |org Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Keywords| |wrong-code Last reconfirmed|0000-00-00 00:00:00 |2008-06-21 16:41:36 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36578