tests/struct13.c

   1 typedef int     field;
   2 typedef struct {
   3         field a;
   4 } a;
   5
   6 void foo(int n, a s[const restrict static n])
   7 {
   8 #pragma scop
   9         if (n > 0)
  10                 s[0].a = 5;
  11 #pragma endscop
  12 }