1// RUN: clang -checker-simple -verify %s 2 3struct s {}; 4 5void f(void) { 6 int a[10]; 7 int (*p)[10]; 8 p = &a; 9 (*p)[3] = 1; 10 11 struct s d; 12 struct s *q; 13 q = &d; 14} 15