From e74b072d8411fca577f00a4f6754238760cce649 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 4 Jan 2019 16:38:38 +0100
Subject: Add testcase for #729

---
 testsuite/gna/issue729/ent.vhdl     | 16 ++++++++++++++++
 testsuite/gna/issue729/testsuite.sh | 12 ++++++++++++
 testsuite/gna/issue729/whide.vhdl   | 17 +++++++++++++++++
 3 files changed, 45 insertions(+)
 create mode 100644 testsuite/gna/issue729/ent.vhdl
 create mode 100755 testsuite/gna/issue729/testsuite.sh
 create mode 100644 testsuite/gna/issue729/whide.vhdl

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;
+
-- 
cgit v1.2.3