1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/renaming3.adb b/gcc/testsuite/gnat.dg/renaming3.adb
new file mode 100644
index 000000000..335a21221
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/renaming3.adb
@@ -0,0 +1,12 @@
+-- { dg-do run }
+
+with Renaming4; use Renaming4;
+
+procedure Renaming3 is
+   type A is array(1..16) of Integer;
+   Filler : A := (others => 0);
+begin
+   if B(1) /= 1 then
+      raise Program_Error;
+   end if;
+end;