1 /* { dg-require-effective-target int32plus } */ 2 int __attribute__ ((noinline)) foo(void)3foo (void) 4 { 5 return 123; 6 } 7 8 int __attribute__ ((noinline)) bar(void)9bar (void) 10 { 11 int c = 1; 12 c |= 4294967295 ^ (foo () | 4073709551608); 13 return c; 14 } 15 16 int main()17main () 18 { 19 if (bar () != 0x83fd4005) 20 __builtin_abort (); 21 } 22