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