contrib/reghunt/examples/30643.c

   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 }