https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60540
--- Comment #8 from Rich Felker <bugdal at aerifal dot cx> --- > Floating point types are not guaranteed to support infinity by the C standard Annex F (IEEE 754 alignment) does guarantee it, and GCC aims to implement this. This issue report is specific to target sh*-*-* which uses either softfloat with IEEE types and semantics or SH4 hardfloat which has IEEE types and semantics. So arguments about generality to non-Annex-F C environments are not relevant to the topic here.