1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/return2.ads b/gcc/testsuite/gnat.dg/return2.ads
new file mode 100644
index 000000000..3e29910d2
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/return2.ads
@@ -0,0 +1,18 @@
+package Return2 is
+
+  type Kind_T is (One, Two);
+
+  type T is array (Kind_T) of Boolean;
+
+  type Result_Internal_T (Member : Boolean := False) is record
+    case Member is
+      when True =>
+        Data : Kind_T := Kind_T'First;
+      when False =>
+        null;
+    end case;
+  end record;
+
+  function Value (Img : String) return T;
+
+end Return2;