https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78512
Bug ID: 78512
Summary: [7 Regression] r242674 miscompiles Linux kernel
Product: gcc
Version: 7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: trippels at gcc dot gnu.org
CC: msebor at gcc dot gnu.org
Target Milestone: ---
Since r242674 the Linux kernel hits a BUG() during boot:
Kernel bug at net/core/skbuff.c:105
invalid opcode 0000
...
Adding -fno-printf-return-value to the CFLAGS "solves" the issue.
Not sure which file gets miscompiled, I only did a quick gcc bisection.
