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(); | |
} |