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).
