Add test for duplicate error message.

5 files changed, 91 insertions, 0 deletions

diff --git a/testsuite/gna/bug16/pkg.vhdl b/testsuite/gna/bug16/pkg.vhdl
new file mode 100644
index 000000000..21c115a31
--- /dev/null
+++ b/testsuite/gna/bug16/pkg.vhdl
@@ -0,0 +1,2 @@
+package pkg is
+end pkg;
diff --git a/testsuite/gna/bug16/repro.vhdl b/testsuite/gna/bug16/repro.vhdl
new file mode 100644
index 000000000..d82cc5857
--- /dev/null
+++ b/testsuite/gna/bug16/repro.vhdl
@@ -0,0 +1,29 @@
+entity repro is
+end repro;
+
+architecture behav of repro is
+  component comp is
+    port (s : bit);
+  end component;
+  signal s : bit;
+begin
+  c : comp port map (s);
+end behav;
+
+entity comp is
+  port (s : bit);
+end comp;
+
+configuration conf of repro is
+  for behav
+   for c : comp
+     use entity work.compx (behav);
+   end for;
+  end for;
+end conf;
+
+architecture behav of comp is
+begin
+  assert s = '1';
+end behav;
+
diff --git a/testsuite/gna/bug16/repro1.vhdl b/testsuite/gna/bug16/repro1.vhdl
new file mode 100644
index 000000000..655307968
--- /dev/null
+++ b/testsuite/gna/bug16/repro1.vhdl
@@ -0,0 +1,28 @@
+entity repro is
+end repro;
+
+entity comp is
+  port (s : bit);
+end comp;
+
+architecture behav of repro is
+  component comp is
+    port (s : bit);
+  end component;
+  signal s : bit;
+begin
+  c : comp port map (s);
+end behav;
+
+use work.pkg.all;
+entity comp2 is
+  port (s : bit);
+end comp2;
+
+architecture behav of comp is
+  component comp2 is
+    port (s : bit);
+  end component;
+begin
+  c2: comp2 port map (s);
+end behav;
diff --git a/testsuite/gna/bug16/repro2.vhdl b/testsuite/gna/bug16/repro2.vhdl
new file mode 100644
index 000000000..869197921
--- /dev/null
+++ b/testsuite/gna/bug16/repro2.vhdl
@@ -0,0 +1,18 @@
+configuration conf of repro is
+  for behav
+   for c : comp
+     use entity work.comp;
+     for behav
+      for c2 : comp2
+       use entity work.comp2 (behav);
+      end for;
+     end for;
+   end for;
+  end for;
+end conf;
+
+architecture behav of comp2 is
+begin
+  assert s = '1';
+end behav;
+
diff --git a/testsuite/gna/bug16/testsuite.sh b/testsuite/gna/bug16/testsuite.sh
new file mode 100755
index 000000000..5311492f1
--- /dev/null
+++ b/testsuite/gna/bug16/testsuite.sh
@@ -0,0 +1,14 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze_failure repro.vhdl
+
+analyze pkg.vhdl
+analyze repro1.vhdl
+analyze pkg.vhdl
+analyze_failure repro2.vhdl
+
+clean
+
+echo "Test successful"