https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86261
Andreas Stieger <astieger at suse dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |astieger at suse dot com
--- Comment #1 from Andreas Stieger <astieger at suse dot com> ---
(In reply to Richard Biener from comment #0)
> I don't really see how this can print 60 bytes as the integers are limited.
printf("02d", INT_MAX) is "2147483647" of length 10, times 6x%d is 60.
