array-struct.c revision 72e1682bbdfd497ce838d648bb2cb6047c015f6f 
1// RUN: clang -checker-simple -verify %s
2
3struct s {
4  int data;
5  int data_array[10];
6};
7
8void f(void) {
9  int a[10];
10  int (*p)[10];
11  p = &a;
12  (*p)[3] = 1;
13
14  struct s d;
15  struct s *q;
16  q = &d;
17  q->data = 3;
18  d.data_array[9] = 17;
19}
20