| /* { dg-require-effective-target int32plus } */ | |
| int __attribute__ ((noinline)) | |
| foo (void) | |
| { | |
| return 123; | |
| } | |
| int __attribute__ ((noinline)) | |
| bar (void) | |
| { | |
| int c = 1; | |
| c |= 4294967295 ^ (foo () | 4073709551608); | |
| return c; | |
| } | |
| int | |
| main () | |
| { | |
| if (bar () != 0x83fd4005) | |
| __builtin_abort (); | |
| } |