1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/redecl-9.c b/gcc/testsuite/gcc.dg/redecl-9.c
new file mode 100644
index 000000000..6fe25800e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/redecl-9.c
@@ -0,0 +1,30 @@
+/* Test for multiple declarations and composite types, as in bug
+   13801.  Test types saved from outer scopes are up to date.  */
+/* Origin: Joseph Myers <jsm@polyomino.org.uk> */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+int x[];
+
+void
+f (void)
+{
+  extern int x[];
+}
+
+int x[10];
+
+void
+g (void)
+{
+  int x;
+  {
+    extern int x[10];
+  }
+}
+
+void
+h (void)
+{
+  sizeof (x);
+}