1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/debug6_pkg.ads b/gcc/testsuite/gnat.dg/debug6_pkg.ads
new file mode 100644
index 00000000000..dfc9744079b
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/debug6_pkg.ads
@@ -0,0 +1,16 @@
+package Debug6_Pkg is
+
+   type Vkind is (Int, Undefined);
+   for Vkind use (Int => -2 ** 31, Undefined => 0);
+
+    type Value (Kind : Vkind) is record
+       case Kind is
+          when Undefined => null;
+          when Int       => Value : Integer;
+          when others    => null;
+       end case;
+    end record;
+
+    procedure Process (V : Value);
+
+end Debug6_Pkg;