1 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/aligned_vla.adb b/gcc/testsuite/gnat.dg/aligned_vla.adb
new file mode 100644
index 000000000..bd3eb7158
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/aligned_vla.adb
@@ -0,0 +1,23 @@
+--  { dg-do run }
+
+procedure Aligned_Vla is
+
+   type Table is array (Integer range <>) of Integer;
+   for Table'Alignment use Long_Float'Alignment;
+
+   K : constant := 1;
+   Konstants : Table (1 .. 4) := (others => K);
+
+   procedure Check_Copy (Len : Integer) is
+      My_Konstants : Table (1 .. Len) := Konstants (1 .. 1 + Len - 1);
+   begin
+      for I in My_Konstants'Range loop
+         if My_Konstants (I) /= K then
+            raise Program_Error;
+         end if;
+      end loop;
+   end;
+
+begin
+   Check_Copy (Len => 4);
+end;