array-struct.c revision df2aa1efbb940aa7bf5ef49235e1d7aff0d52128 
1// RUN: clang -checker-simple -verify %s
2// RUN: clang -checker-simple -analyzer-store-region -verify %s
3
4struct s {
5  int data;
6  int data_array[10];
7};
8
9typedef struct {
10  int data;
11} STYPE;
12
13void f(void) {
14  int a[10];
15  int (*p)[10];
16  p = &a;
17  (*p)[3] = 1;
18
19  struct s d;
20  struct s *q;
21  q = &d;
22  q->data = 3;
23  d.data_array[9] = 17;
24}
25
26void f2() {
27  char *p = "/usr/local";
28  char (*q)[4];
29  q = &"abc";
30}
31
32void f3() {
33  STYPE s;
34}
35
36void f4() {
37  int a[] = { 1, 2, 3};
38  int b[3] = { 1, 2 };
39}
40