1 files changed, 23 insertions, 0 deletions
diff --git a/testsuite/gna/bug0131/numstd01.vhdl b/testsuite/gna/bug0131/numstd01.vhdl
new file mode 100644
index 000000000..9b0566dd1
--- /dev/null
+++ b/testsuite/gna/bug0131/numstd01.vhdl
@@ -0,0 +1,23 @@
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+entity numstd01 is
+end;
+
+architecture behav of numstd01 is
+  constant v : unsigned (15 downto 0) := x"ab02";
+  constant v_1 : unsigned (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;