https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93934
Zoltan Vajda <vajdaz at protonmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |UNCONFIRMED
Resolution|INVALID |---
--- Comment #3 from Zoltan Vajda <vajdaz at protonmail dot com> ---
(In reply to Alexander Monakov from comment #2)
> fcmov can only raise an x87 fpu exception on x87 stack underflow, which
> cannot happen here.
>
> Even if it did raise FE_INVALID for SNaNs, note that GCC does not support
> SNaNs by default; -fsignaling-nans can be specified to request that, but
> note that documentation says the support is incomplete.
>
> No bug here afaict.
The problem is not the fcmov instruction, but the "fldl -32(%ebp)". It loads an
uninitialized value from the variable result, which may be a SNaN.
