diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4fc3a5fee7488fe5efc77f9ad2ac23c6f17c4f7c..99beec49569166d057620ac2beb83ba5db79b017 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2016-05-26  Jakub Jelinek  <jakub@redhat.com>
 
+	PR tree-optimization/71280
+	* gcc.dg/pr71280.c: New test.
+
 	* gcc.target/i386/avx512vl-vcvtps2ph-3.c: New test.
 
 	* gcc.target/i386/avx512bw-vpalignr-4.c: New test.
diff --git a/gcc/testsuite/gcc.dg/pr71280.c b/gcc/testsuite/gcc.dg/pr71280.c
new file mode 100644
index 0000000000000000000000000000000000000000..496e3d269ed705a16ea2aa26db0a57562c8f458d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr71280.c
@@ -0,0 +1,15 @@
+/* PR tree-optimization/71280 */
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+extern char v[];
+
+int
+foo ()
+{
+  int k = 0;
+  typedef char T[64];
+  for (int i = 0; i < 64; i++)
+    k += (*(T *) &v[0])[i];
+  return k;
+}