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 foo(void)8void foo (void) 9 { 10 while (bar ()) { 11 switch (1) { 12 default: 13 baz (); 14 } 15 } 16 } 17