https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66083
--- Comment #4 from Markus Trippelsdorf <trippels at gcc dot gnu.org> --- (In reply to Pranith Kumar from comment #3) > The kernel fails to boot. It works using 4.7/4.8 but 4.9 does not work. Not > sure what you mean which file. How do I pin point that? You could start with the failing kernel and replace object files with good ones until it boots (or vice versa). Once you have pinpoint the file in question you can use __attribute__((optimize(O2)) to narrow the issue down to a single function.