1extern void abort (void); 2 3void __attribute__((noinline,noclone)) 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 16int main() { test1 (15); return 0; } 17