array-struct.c revision 234a7d2bf50ba55496433f896577838407119e1a 
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