https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79153
--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> --- This is probably because although we're handling ifs: 1896 /* Ifs are tricky. */ 1897 if (gimple_code (gsi_stmt (*gsi_p)) == GIMPLE_COND) we're not handling switches like that. Won't be that easy I'm afraid.