[Bug c/89716] Bogus warning -Wformat= in printf with __uint64_t argument

[sch...@linux-m68k.org]

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

--- Comment #3 from Andreas Schwab <sch...@linux-m68k.org> ---
Why do you think that long unsigned int should be 32 bit?