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

--- Comment #2 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
(In reply to Drea Pinski from comment #1)
> I think you are seeing the promotion to double here.
> 
> Float promotes to double when passed via varargs functions.

I don't see what you mean. Just consider the encodings (7fc00000 and 7fa00000).

Reply via email to