1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/static_initializer5_pkg.ads b/gcc/testsuite/gnat.dg/specs/static_initializer5_pkg.ads
new file mode 100644
index 000000000..16a8f7277
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/static_initializer5_pkg.ads
@@ -0,0 +1,17 @@
+package Static_Initializer5_Pkg is
+
+   type Arr is array (Positive range <>) of Character;
+
+   type Buffer_Type (Length : Positive) is record
+      Content : Arr (1 .. Length);
+   end record;
+
+   type Buffer_Access is access Buffer_Type;
+
+   type Rec is tagged record
+      Buffer : Buffer_Access;
+   end record;
+
+   Null_Rec : constant Rec := (Buffer => null);
+
+end Static_Initializer5_Pkg;