1 /* { dg-do run } */ 2 3 const int c1 = 1; 4 const int c2 = 2; 5 6 int check(int i)7check (int i) 8 { 9 int j; 10 if (i >= 0) 11 j = c2 - i; 12 else 13 j = c2 - i; 14 return c2 - c1 + 1 > j; 15 } 16 17 int invoke (int *pi) __attribute__ ((noinline,noclone)); 18 int invoke(int * pi)19invoke (int *pi) 20 { 21 return check (*pi); 22 } 23 24 int main()25main () 26 { 27 int i = c1; 28 int ret = invoke (&i); 29 if (!ret) 30 __builtin_abort (); 31 return 0; 32 } 33