http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53153
--- Comment #4 from Steven Bosscher <steven at gcc dot gnu.org> 2012-04-30 21:43:33 UTC --- Created attachment 27272 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27272 Eliminate unreachable case labels This is basically what the code in stmt.c used to do, and the new code in gimplify.c also does: GIMPLE passes that change the type of the index expression must also update the case label vector.