https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390
--- Comment #15 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- Note also that 6.3.1.5p2 occurs in case of explicit conversions or function calls, not in typical floating-point expressions, in which types can be promoted, but never demoted. So, I don't see really what you mean.