/* { dg-do run } */ const int c1 = 1; const int c2 = 2; int check (int i) { int j; if (i >= 0) j = c2 - i; else j = c2 - i; return c2 - c1 + 1 > j; } int invoke (int *pi) __attribute__ ((noinline,noclone)); int invoke (int *pi) { return check (*pi); } int main () { int i = c1; int ret = invoke (&i); if (!ret) __builtin_abort (); return 0; }