/* { dg-do run } */ | |
/* { dg-options "-fwrapv" } */ | |
int __attribute__((noinline)) | |
foo (long i, long j) | |
{ | |
if (i >= 1) | |
if (j > -(long)(((unsigned long)(long)-1)>>1)) | |
{ | |
long x; | |
j--; | |
x = i + j; | |
if (x >= 0) | |
return 1; | |
} | |
return 0; | |
} | |
extern void abort (void); | |
int main() | |
{ | |
if (foo (1, 1) != 1) | |
abort (); | |
return 0; | |
} |