https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80160 --- Comment #6 from Arnd Bergmann <arnd at linaro dot org> --- I've run into a four other files in the kernel sources that show this bug. I've confirmed that the patch in comment 4 addresses all of them.