[Bug tree-optimization/22326] promotions (from float to double) are not removed when they should be able to

[rguenther at suse dot de via Gcc-bugs]

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

--- Comment #21 from rguenther at suse dot de <rguenther at suse dot de> ---
On December 11, 2020 6:51:05 PM GMT+01:00, "segher at gcc dot gnu.org"
<gcc-bugzi...@gcc.gnu.org> wrote:
>https://gcc.gnu.org/bugzilla/show_bug.cgi?id=22326
>
>--- Comment #20 from Segher Boessenkool <segher at gcc dot gnu.org> ---
>Yes, that is clear...  But we have ***double*** x in that example even,
>as the declared type of the parameter, so converting that to float is
>almost certainly a bad idea?

OH... Most definitely.