/* { 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; | |
} |