1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
/* { dg-do compile } */ /* { dg-options "-O -fexceptions -fnon-call-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; } }