[Bug c++/48379] -Wdouble-promotion warns for promotion by varargs

[pinskia at gcc dot gnu.org]

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.