1  /* PR rtl-optimization/17027 */
       2  /* Origin: dbk <sfc@village.uunet.be> */
       3  /* Testcase by Christian Ehrhardt <ehrhardt@mathematik.uni-ulm.de> */
       4  
       5  int bar(void);
       6  void baz (void)  __attribute__ ((noreturn)); /* noreturn is required */
       7  
       8  void foo (void) 
       9  {
      10    while (bar ()) {
      11      switch (1) {
      12        default:
      13        baz ();
      14      }
      15    }
      16  }