1 static int __attribute__ ((noinline, noclone))
swap(int x)2 swap (int x)
3 {
4   return (unsigned short) ((unsigned short) x << 8 | (unsigned short) x >> 8);
5 }
6 
7 static int a = 0x1234;
8 
9 int
main(void)10 main (void)
11 {
12   int b = 0x1234;
13   if (swap (a) != 0x3412)
14     __builtin_abort ();
15   if (swap (b) != 0x3412)
16     __builtin_abort ();
17   return 0;
18 }
19