array-struct.c revision 2e971208f48a06b2880a28ba16389f3a0d4213df
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 9void f(void) { 10 int a[10]; 11 int (*p)[10]; 12 p = &a; 13 (*p)[3] = 1; 14 15 struct s d; 16 struct s *q; 17 q = &d; 18 q->data = 3; 19 d.data_array[9] = 17; 20} 21 22void f2() { 23 char *p = "/usr/local"; 24 char (*q)[4]; 25 q = &"abc"; 26} 27