1  char a;
       2  short b;
       3  void fn1() {
       4    if (b)
       5      ;
       6    else {
       7      int c[1] = {0};
       8    l1:;
       9    }
      10    if (a)
      11      goto l1;
      12  }