c - 为什么 -freciprocal-math 在 GCC 中不安全？

Question

-freciprocal-math 在 GCC 中修改如下代码

double a = b / c;

到

 double tmp = 1/c;
 double a = b * tmp;

在 GCC 手册中，据说这样的优化是不安全的，并且不符合 IEEE 标准。但我想不出一个例子。你能举个例子吗？

Answer 1

除以 10 和乘以 0.1000000000000000055511151231257827021181583404541015625 不是一回事。