gcc-4.9/gcc/testsuite/gcc.c-torture/execute/20120615-1.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

extern void abort (void);

void __attribute__((noinline,noclone))
     test1(int i)
{
  if (i == 12)
    return;
  if (i != 17)
    {
      if (i == 15)
	return;
      abort ();
    }
}

int main() { test1 (15); return 0; }