1 long val = 0x5e000000;
2 
3 long
f1(void)4 f1 (void)
5 {
6   return 0x132;
7 }
8 
9 long
f2(void)10 f2 (void)
11 {
12   return 0x5e000000;
13 }
14 
15 void
f3(long b)16 f3 (long b)
17 {
18   val = b;
19 }
20 
21 void
f4()22 f4 ()
23 {
24   long v = f1 ();
25   long o = f2 ();
26   v = (v & 0x00ffffff) | (o & 0xff000000);
27   f3 (v);
28 }
29 
main()30 main ()
31 {
32   f4 ();
33   if (val != 0x5e000132)
34     abort ();
35   exit (0);
36 }
37