1  /* PR debug/83527 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fcompare-debug" } */
       4  
       5  extern void fn2(void);
       6  extern void fn3(void);
       7  int a, b;
       8  void fn1() {
       9    int c;
      10    short d;
      11    switch (a) {
      12    case 32800:
      13      fn2();
      14    case 32769:
      15      b = 0;
      16    case 32771:
      17    case 32772:
      18    case 32782:
      19      fn3();
      20    }
      21    if (d || c) {
      22      do
      23        ;
      24      while (0);
      25    }
      26  }