https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81318 --- Comment #24 from Vittorio Zecca <zeccav at gmail dot com> --- I confirm this bug prevents building the Linux kernel 4.12 with gcc trunk 251201. gcc 7.2 seems to build the kernel just fine.