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