https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99578
--- Comment #2 from Arnd Bergmann <arnd at linaro dot org> --- Ok, I see. Thanks for the explanation! I found a couple other instances (so far all false positive) and will see if any of them have a sane workaround. I'll probably just turn off both flags globally for the kernel otherwise.
