https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101649
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2021-07-28
Ever confirmed|0 |1
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
I agree with your reasoning from a QOI perspective. Now, the warning is
currently implemented where the language specified promotion happens and the
optimization back to float precision happens elsewhere. I suppose we could
anticipate this - or at least not do this optimization at -O0.
