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