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