/* 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 (); } } }