From 3276b70eb3495f9ec871ba65003315acd499af5a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 6 Dec 2018 20:28:37 +0100
Subject: Add testcase for #440.

---
 testsuite/gna/issue440/ent.vhdl     | 19 +++++++++++++++++++
 testsuite/gna/issue440/ent2.vhdl    | 19 +++++++++++++++++++
 testsuite/gna/issue440/testsuite.sh |  2 ++
 3 files changed, 40 insertions(+)
 create mode 100644 testsuite/gna/issue440/ent.vhdl
 create mode 100644 testsuite/gna/issue440/ent2.vhdl

diff --git a/testsuite/gna/issue440/ent.vhdl b/testsuite/gna/issue440/ent.vhdl
new file mode 100644
index 000000000..0333fade5
--- /dev/null
+++ b/testsuite/gna/issue440/ent.vhdl
@@ -0,0 +1,19 @@
+package gpkg is
+  generic (const : natural);
+end package;
+
+package ipkg is new work.gpkg generic map (const => 1);
+
+entity ent is
+end entity;
+
+architecture a of ent is
+begin
+  main : process
+  begin
+     -- Case 1
+     assert work.ipkg.const = 1; -- Should this result in a 'no declaration of const' error?
+     -- case 2     
+--     assert << constant @work.ipkg.const : natural>> = 1; -- Should this be visible?
+  end process;
+end architecture;
diff --git a/testsuite/gna/issue440/ent2.vhdl b/testsuite/gna/issue440/ent2.vhdl
new file mode 100644
index 000000000..51eae7b0c
--- /dev/null
+++ b/testsuite/gna/issue440/ent2.vhdl
@@ -0,0 +1,19 @@
+package gpkg2 is
+  generic (const : natural);
+end package;
+
+package ipkg2 is new work.gpkg2 generic map (const => 1);
+
+entity ent2 is
+end entity;
+
+architecture a of ent2 is
+begin
+  main : process
+  begin
+     -- Case 1
+     assert work.ipkg.const = 1; -- Should this result in a 'no declaration of const' error?
+     -- case 2     
+     assert << constant @work.ipkg.const : natural>> = 1; -- Should this be visible?
+  end process;
+end architecture;
diff --git a/testsuite/gna/issue440/testsuite.sh b/testsuite/gna/issue440/testsuite.sh
index 3840a8714..b7cacad5b 100755
--- a/testsuite/gna/issue440/testsuite.sh
+++ b/testsuite/gna/issue440/testsuite.sh
@@ -9,6 +9,8 @@ elab_simulate e3
 analyze e2.vhdl
 elab_simulate e2
 
+analyze_failure ent.vhdl
+
 # Not yet fixed
 # analyze e.vhdl
 
-- 
cgit v1.2.3