https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111063
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
-fsanitize=float-cast-overflow is there, just not turned on by
-fsanitize=undefined .
https://gcc.gnu.org/onlinedocs/gcc-13.2.0/gcc/Instrumentation-Options.html#index-fsanitize_003dfloat-cast-overflow
The reasoning on why it is NOT part of -fsanitize=undefined for GCC is located
in this email:
https://gcc.gnu.org/pipermail/gcc-patches/2014-May/388356.html
Specificially this:
```
As with divide-by-zero, this should not be part of -fsanitize=undefined
because under Annex F this is not undefined behavior (instead it raises
"invalid" and returns an unspecified value, C11 F.4).
```
That is it is not exactly undefined behavior ...
