[Bug c++/101649] -Wdouble-promotion warning emitted when floating point literals are not actually promoted to doubles

[make_all--- via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101649

--- Comment #2 from make_...@t-online.de ---
I don't want to avoid double promotion as double promotion is not actually
happening. I want to not be bothered by a false warning :)