[Bug c/94654] printf calls with floats

[pinskia at gcc dot gnu.org]

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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Two things:
1) float is prompted to double for var args in c.
2) printf is part of libc and gcc does not provide it.