http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51902
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-20 13:37:50 UTC --- We could go just to the immediate supercontext if BLOCK_SAME_RANGE (both when the fragment count is the same and when it is smaller in the child), but we'd lose all the verification (we couldn't test ranges_table[something].num against BLOCK_NUM). So perhaps we could do that, and only if ENABLE_CHECKING do the additional verification afterwards, in the normal code just verify that the start of the range has > 0 num (so it isn't one ranged by labels).