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