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