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