https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48379
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |INVALID
Status|NEW |RESOLVED
--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
>Since, there's not much that can be done to fix this situation it's probably
>not worth warning about.
No it is warning you because on the other side using va_arg with float will
cause a trap as it is undefined to do. It is warning explicitly because it will
promote to double because of the way C defines it. Note with C23's _Float32
type will not promote to double/_Float64.
