diff --git a/test/Analysis/array-struct.c b/test/Analysis/array-struct.c
new file mode 100644
index 0000000..5eac795
--- /dev/null
+++ b/test/Analysis/array-struct.c
@@ -0,0 +1,14 @@
+// RUN: clang -checker-simple -verify %s
+
+struct s {};
+
+void f(void) {
+  int a[10];
+  int (*p)[10];
+  p = &a;
+  (*p)[3] = 1;
+  
+  struct s d;
+  struct s *q;
+  q = &d;
+}