|
extern void abort (void);
|
|
struct s { int a; int b;};
|
|
void bar (struct s *ps, int *p, int *__restrict__ rp, int *__restrict__ rq)
|
|
{
|
|
ps->a = 0;
|
|
ps->b = 1;
|
|
if (ps->a != 0) abort ();
|
|
p[0] = 0;
|
|
p[1] = 1;
|
|
if (p[0] != 0) abort ();
|
|
rp[0] = 0;
|
|
rq[0] = 1;
|
|
if (rp[0] != 0) abort();
|
|
}
|