Add testcase for #293

Close #293

1 files changed, 27 insertions, 0 deletions

diff --git a/testsuite/gna/issue293/repro.vhdl b/testsuite/gna/issue293/repro.vhdl
new file mode 100644
index 000000000..1e12d6d7e
--- /dev/null
+++ b/testsuite/gna/issue293/repro.vhdl
@@ -0,0 +1,27 @@
+library ieee;
+use ieee.float_pkg.all;
+
+entity tb_test is
+  generic (
+    runner_cfg : string := "h");
+end tb_test;
+
+architecture tb of tb_test is
+begin
+  test_runner : process
+      --  Makes the implicit "=" directly visible.
+      alias fp32 is float32;
+    begin
+      assert not (zerofp = neg_zerofp) severity failure;
+
+      wait;
+    end process test_runner;
+
+    test_runner2 : process
+        --  Only the user-defined "=" is visible.
+    begin
+      assert zerofp = neg_zerofp severity failure;
+
+      wait;
+    end process test_runner2;
+end;