| /* { dg-do compile } */ | |
| /* { dg-options "-O -fexceptions -fnon-call-exceptions" } */ | |
| /* { dg-require-effective-target exceptions } */ | |
| extern void f2 () __attribute__ ((noreturn)); | |
| void | |
| f1 () | |
| { | |
| unsigned char a[8]; | |
| unsigned int i; | |
| for (i = 0; i < 8; i++) | |
| { | |
| if (i > 8) | |
| f2 (); | |
| a[i] = i <= 8; | |
| } | |
| } |