1extern void abort (void); 2struct s { int a; int b;}; 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