https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90205
--- Comment #6 from Jonny Grant <jg at jguk dot org> ---
Wondering if it is also worth the message making clear the type was promoted?
eg:
<source>:5:14: warning: format '%d' expects argument of type 'int', but
argument 2 has type 'float' automatically promoted to 'double', for which '%f'
is required [-Wformat=]
5 | printf("%d", i);
| ~^ ~
| | |
| int float
| %f
