1 /* { dg-do run } */
2 
3 const int c1 = 1;
4 const int c2 = 2;
5 
6 int
check(int i)7 check (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)19 invoke (int *pi)
20 {
21   return check (*pi);
22 }
23 
24 int
main()25 main ()
26 {
27   int i = c1;
28   int ret = invoke (&i);
29   if (!ret)
30     __builtin_abort ();
31   return 0;
32 }
33