Add testcase for issue9

3 files changed, 28 insertions, 0 deletions

diff --git a/testsuite/gna/issue9/repro.vhdl b/testsuite/gna/issue9/repro.vhdl
new file mode 100644
index 000000000..f8b7c8eea
--- /dev/null
+++ b/testsuite/gna/issue9/repro.vhdl
@@ -0,0 +1,8 @@
+entity tmp is end entity;
+architecture arch of tmp is
+    signal b : bit;
+begin
+    with true select b <=
+     '0' when false | true,
+     '1' when true;
+end architecture;
diff --git a/testsuite/gna/issue9/repro2.vhdl b/testsuite/gna/issue9/repro2.vhdl
new file mode 100644
index 000000000..3ca8424ac
--- /dev/null
+++ b/testsuite/gna/issue9/repro2.vhdl
@@ -0,0 +1,9 @@
+entity tmp is end entity;
+architecture arch of tmp is
+    subtype nat2 is natural range 0 to 3;
+    signal b : bit;
+begin
+    with 2 select b <=
+     '0' when 0 to 2,
+     '1' when 2 to 3;
+end architecture;
diff --git a/testsuite/gna/issue9/testsuite.sh b/testsuite/gna/issue9/testsuite.sh
new file mode 100755
index 000000000..c226c0355
--- /dev/null
+++ b/testsuite/gna/issue9/testsuite.sh
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+
+analyze_failure repro.vhdl
+analyze_failure repro2.vhdl
+
+clean test
+
+echo "Test successful"