testsuite/gna: add a test for #1726

3 files changed, 47 insertions, 0 deletions

diff --git a/testsuite/gna/issue1726/orig.vhdl b/testsuite/gna/issue1726/orig.vhdl
new file mode 100644
index 000000000..0ddc2b4cf
--- /dev/null
+++ b/testsuite/gna/issue1726/orig.vhdl
@@ -0,0 +1,14 @@
+package my_gpkg is
+  generic (
+    type data_t;
+    c_default : data_t);
+
+ constant my_constant : data_t := c_default;
+
+end package my_gpkg;
+
+use std.standard.all;
+package my_pkg_int is new work.my_gpkg
+  generic map (
+    data_t    => integer,
+    c_default => 5);
diff --git a/testsuite/gna/issue1726/repro.vhdl b/testsuite/gna/issue1726/repro.vhdl
new file mode 100644
index 000000000..350d18138
--- /dev/null
+++ b/testsuite/gna/issue1726/repro.vhdl
@@ -0,0 +1,22 @@
+package my_gpkg is
+  generic (
+    type data_t;
+    c_default : data_t);
+
+ constant my_constant : data_t := c_default;
+
+end package my_gpkg;
+
+package my_pkg_int is new work.my_gpkg
+  generic map (
+    data_t    => integer,
+    c_default => 5);
+
+entity ent is
+end;
+
+use work.my_pkg_int.all;
+architecture behav of ent is
+begin
+  assert my_constant = 5 severity failure;
+end;
diff --git a/testsuite/gna/issue1726/testsuite.sh b/testsuite/gna/issue1726/testsuite.sh
new file mode 100755
index 000000000..17046028d
--- /dev/null
+++ b/testsuite/gna/issue1726/testsuite.sh
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+analyze repro.vhdl
+elab_simulate ent
+
+clean
+
+echo "Test successful"