1/* { dg-do compile } */ 2/* { dg-options "-O2" } */ 3/* { dg-final { scan-assembler-not "undefined" } } */ 4 5/* Make sure we optimize all calls away. */ 6 7extern void undefined (void); 8struct s { int a, b; }; 9void bar (struct s *ps, int *p, int *__restrict__ rp, int *__restrict__ rq) 10{ 11 ps->a = 0; 12 ps->b = 1; 13 if (ps->a != 0) 14 undefined (); 15 p[0] = 0; 16 p[1] = 1; 17 if (p[0] != 0) 18 undefined (); 19 rp[0] = 0; 20 rq[0] = 1; 21 if (rp[0] != 0) 22 undefined (); 23} 24int main (void) { 25 return 0; 26} 27