/* PR rtl-optimization/17027 */
/* Origin: dbk <sfc@village.uunet.be> */
/* Testcase by Christian Ehrhardt <ehrhardt@mathematik.uni-ulm.de> */

int bar(void);
void baz (void)  __attribute__ ((noreturn)); /* noreturn is required */

void foo (void) 
{
  while (bar ()) {
    switch (1) {
      default:
      baz ();
    }
  }
}