1 static int __attribute__ ((noinline, noclone)) swap(int x)2swap (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)10main (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