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