[Bug tree-optimization/24021] VRP does not work with floating points

[vincent-gcc at vinc17 dot net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24021

--- Comment #3 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
But note that the optimization should be modified or disabled in contexts where
floating-point exceptions need to be honored, as the i+=0.1f will sometimes
trigger the inexact exception.