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