1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/varsize_copy.ads b/gcc/testsuite/gnat.dg/varsize_copy.ads
new file mode 100644
index 000000000..9a088a9ff
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/varsize_copy.ads
@@ -0,0 +1,30 @@
+package Varsize_Copy is
+
+   type Key_Type is
+      (Nul, Cntrl, Stx, Etx, Eot, Enq, Ack, Spad, Clr, Dc_1, Dc_2, Dc_3, Dc_4);
+
+   for Key_Type use
+      (Nul   => 0,
+       Cntrl => 1,
+       Stx   => 2,
+       Etx   => 3,
+       Eot   => 4,
+       Enq   => 5,
+       Ack   => 6,
+       Spad  => 7,
+       Clr   => 8,
+       Dc_1  => 17,
+       Dc_2  => 18,
+       Dc_3  => 19,
+       Dc_4  => 20);
+
+   type Page_Type(D : Boolean := False) is record
+      case D is
+         when True => I : Integer;
+         when False => null;
+      end case;
+   end record;
+
+   function F (Key : Key_Type) return Page_Type;
+
+end Varsize_Copy;