/* { dg-do run } */ | |
/* { dg-require-effective-target int32plus } */ | |
/* { dg-options "-O -fno-tree-ccp -fno-tree-fre -fno-tree-copy-prop -fwrapv" } */ | |
static inline int | |
test5 (int x) | |
{ | |
int y = 0x80000000; | |
return x + y; | |
} | |
int | |
main () | |
{ | |
if (test5 (0x80000000) != 0) | |
__builtin_abort (); | |
return 0; | |
} |