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