1 extern void abort (void); 2 struct s { int a; int b;}; bar(struct s * ps,int * p,int * __restrict__ rp,int * __restrict__ rq)3void bar (struct s *ps, int *p, int *__restrict__ rp, int *__restrict__ rq) 4 { 5 ps->a = 0; 6 ps->b = 1; 7 if (ps->a != 0) abort (); 8 p[0] = 0; 9 p[1] = 1; 10 if (p[0] != 0) abort (); 11 rp[0] = 0; 12 rq[0] = 1; 13 if (rp[0] != 0) abort(); 14 } 15