[Bug middle-end/94031] missing floating-point optimization of x + 0 when x is not zero

[vincent-gcc at vinc17 dot net]

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

--- Comment #3 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
(In reply to Andrew Pinski from comment #1)
> This needs something like VRP for floating point types.

Thus this is related in some way to PR24021 and PR68097.