1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/box1.ads b/gcc/testsuite/gnat.dg/specs/box1.ads
new file mode 100644
index 000000000..dad13f332
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/box1.ads
@@ -0,0 +1,13 @@
+--  { dg-do compile }
+
+package box1 is
+  type Root is tagged null record;
+  type Der1 is new Root with record
+     B : Boolean;
+  end record;
+  
+  type Der2 is new Der1 with null record;
+  type Der3 is new Der2 with null record;
+  
+  Obj : Der3 := (Der2 with others => <>);
+end;