1 int * __restrict__ x; 2 foo(int y)3 int foo (int y) 4 { 5 *x = y; 6 return *x; 7 } 8 9 extern void abort (void); 10 main()11 int main() 12 { 13 int i = 0; 14 x = &i; 15 if (foo(1) != 1) 16 abort (); 17 return 0; 18 } 19