1 files changed, 31 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/discr20.ads b/gcc/testsuite/gnat.dg/discr20.ads
new file mode 100644
index 00000000000..a447b3309c3
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/discr20.ads
@@ -0,0 +1,31 @@
+package Discr20 is
+
+  Size : Integer;
+
+  type Name is new String (1..Size);
+
+  type Rec is record
+     It : Name;
+  end record;
+
+  type Danger is (This, That);
+  type def (X : Danger := This) is record
+    case X is
+       when This => It : Rec;
+       when That => null;
+       end case;
+   end record;
+
+   type Switch is (On, Off);
+   type Wrapper (Disc : Switch := On) is private;
+   function Get (X : Wrapper) return Def;
+
+private
+   type Wrapper (Disc : Switch := On) is record
+      Case Disc is
+         when On  => It : Def;
+         when Off => null;
+      end case;
+   end record;
+
+end Discr20;