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