1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/gna/bug0131/slv01.vhdl b/testsuite/gna/bug0131/slv01.vhdl
new file mode 100644
index 000000000..aa78b0fac
--- /dev/null
+++ b/testsuite/gna/bug0131/slv01.vhdl
@@ -0,0 +1,22 @@
+library ieee;
+use ieee.std_logic_1164.all;
+
+entity slv01 is
+end;
+
+architecture behav of slv01 is
+  constant v : std_logic_vector (15 downto 0) := x"ab02";
+  constant v_1 : std_logic_vector (15 downto 0) := v and x"cfff";
+  constant t : boolean := v_1 = x"8b02";
+begin
+  process
+  begin
+    case true is
+      when t =>
+        report "Test OK";
+      when false =>
+        assert false severity failure;
+    end case;
+    wait;
+  end process;
+end behav;