https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49905
--- Comment #11 from David Binderman <dcb314 at hotmail dot com> --- (In reply to Jakub Jelinek from comment #10) > I think the warning code should compute both > minimum and maximum, I'd be happy for the code to compute minimum only and have maximum postponed for the future. One step at a time. BTW, I tried a Linux kernel build and got this drivers/char/ipmi/ipmi_msghandler.c: In function ‘guid_show’: drivers/char/ipmi/ipmi_msghandler.c:2365:9: internal compiler error: in format_integer, at c-family/c-format.c:506 return snprintf(buf, 100, "%Lx%Lx\n", ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ (long long) bmc->guid[0], ~~~~~~~~~~~~~~~~~~~~~~~~~ (long long) bmc->guid[8]); ~~~~~~~~~~~~~~~~~~~~~~~~~ So it looks to me like format %Lx isn't handled.