1 extern void abort (void); 2 3 void __attribute__((noinline,noclone)) test1(int i)4 test1(int i) 5 { 6 if (i == 12) 7 return; 8 if (i != 17) 9 { 10 if (i == 15) 11 return; 12 abort (); 13 } 14 } 15 main()16 int main() { test1 (15); return 0; } 17