No, because printf
and its friends are variadic functions, so a float
parameter undergoes automatic conversion to double
as part of the default argument promotions (see section 6.5.2.2 of the C99 standard).
I'm not sure why this triggers a MISRA warning though, I can't think of any way in which this might be dangerous.