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