From e74b072d8411fca577f00a4f6754238760cce649 Mon Sep 17 00:00:00 2001 From: Tristan Gingold 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 (limited to 'testsuite/gna') 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