diff options
Diffstat (limited to 'testsuite/gna/issue729/whide.vhdl')
-rw-r--r-- | testsuite/gna/issue729/whide.vhdl | 17 |
1 files changed, 17 insertions, 0 deletions
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; + |