Add testcase for #729

3 files changed, 45 insertions, 0 deletions

diff --git a/testsuite/gna/issue729/ent.vhdl b/testsuite/gna/issue729/ent.vhdl
new file mode 100644
index 000000000..3c0eb4db9
--- /dev/null
+++ b/testsuite/gna/issue729/ent.vhdl
@@ -0,0 +1,16 @@
+entity e is
+end entity;
+
+architecture a of e is
+  signal a : boolean;
+begin
+  process(a)
+  begin
+    case a is
+      when false =>  report "FALSE";
+      when true =>   report "TRUE";
+      when others => report "others";
+    end case;
+  end process;
+end architecture;
+
diff --git a/testsuite/gna/issue729/testsuite.sh b/testsuite/gna/issue729/testsuite.sh
new file mode 100755
index 000000000..d6cbaf870
--- /dev/null
+++ b/testsuite/gna/issue729/testsuite.sh
@@ -0,0 +1,12 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze -Werror ent.vhdl
+analyze_failure -Werror -Wothers ent.vhdl
+
+analyze_failure -Werror whide.vhdl
+analyze -Werror -Wno-hide whide.vhdl
+clean
+
+echo "Test successful"
diff --git a/testsuite/gna/issue729/whide.vhdl b/testsuite/gna/issue729/whide.vhdl
new file mode 100644
index 000000000..a900c80cd
--- /dev/null
+++ b/testsuite/gna/issue729/whide.vhdl
@@ -0,0 +1,17 @@
+entity whide is
+end entity;
+
+architecture a of whide is
+  signal a : boolean;
+begin
+  process(a)
+    variable whide : boolean;
+  begin
+    case a is
+      when false =>  report "FALSE";
+      when true =>   report "TRUE";
+      when others => report "others";
+    end case;
+  end process;
+end architecture;
+