https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79152
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Simplified testcase: int foo (int x, char *y) { switch (x) { case 1: goto lab1; goto lab2; x = y[0]; lab2: lab1: x += y[1]; } return x; }