[Bug tree-optimization/88240] Potential optimization bug: invalid pre-load of floating-point value could cause SIGFPE-underflow if value is integer

[patrickdepinguin at gmail dot com]

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

--- Comment #11 from Thomas De Schampheleire <patrickdepinguin at gmail dot 
com> ---
Any feedback? With the reduced testcase qemu is out of the picture.
Do you agree that this is a bug in gcc?