https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115255
--- Comment #7 from Andi Kleen <andi-gcc at firstfloor dot org> --- The patch can be even more minimized. The thumb2_reorg change is not needed because nothing does df_verify() after it (I just noticed it because I added some extra for debugging). So even though thumb2_reorg breaks the DF with -O0 it doesn't matter because nobody cares.