Add bug04 testcase.

3 files changed, 140 insertions, 0 deletions

diff --git a/testsuite/gna/bug04/std_logic_warning.vhdl b/testsuite/gna/bug04/std_logic_warning.vhdl
new file mode 100644
index 0000000..a71b2dd
--- /dev/null
+++ b/testsuite/gna/bug04/std_logic_warning.vhdl
@@ -0,0 +1,64 @@
+library ieee;
+use ieee.std_logic_1164.std_logic;
+use ieee.std_logic_1164.to_x01;
+use ieee.std_logic_1164.is_x;
+
+package std_logic_warning is
+  function "="(l, r : std_logic) return boolean;
+end package;
+
+package body std_logic_warning is
+    
+    use ieee.std_logic_1164."=";
+    
+    function "="(l, r : std_logic) return boolean is
+    begin
+    if is_x(l) or is_x(r) then
+      report "std_logic_warning.""="": metavalue detected, returning FALSE"
+        severity WARNING;
+      return FALSE;
+    end if;
+    return l = r; -- std_logic_1164."="(l, r);
+    end function;
+
+end package body;
+
+library ieee;
+use ieee.std_logic_1164.std_ulogic;
+use ieee.std_logic_1164.std_logic;
+-- use ieee.std_logic_1164.all;
+
+use work.std_logic_warning.all;
+entity warning_test is
+end entity;
+
+architecture foo of warning_test is
+    signal a: std_logic;
+    signal b: std_logic;
+begin
+
+UNLABELLED:
+    process
+    begin
+        wait for 1 ns;
+        a <= 'X';
+        wait for 1 ns;
+        b <= '1';
+        wait for 1 ns;
+        a <= '0';
+        wait for 1 ns;
+        b <= '0';
+        wait;
+    end process;
+    
+MONITOR:
+    process (a,b)
+    begin
+        assert a = b 
+            report "a = b " & "( " & std_logic'image(a)
+                             & "=" & std_logic'image(b) & " )"
+                severity NOTE;
+    end process;
+
+end architecture;
+    
diff --git a/testsuite/gna/bug04/test.vhdl b/testsuite/gna/bug04/test.vhdl
new file mode 100644
index 0000000..b13b3ab
--- /dev/null
+++ b/testsuite/gna/bug04/test.vhdl
@@ -0,0 +1,63 @@
+library ieee;

+use ieee.std_logic_1164.std_logic;

+use ieee.std_logic_1164.is_x;

+

+package std_logic_warning is

+  function EQ_BUT_NOT_META(l, r : std_logic) return boolean;

+end package;

+

+package body std_logic_warning is

+

+    use ieee.std_logic_1164."=";

+    

+    function EQ_BUT_NOT_META(l, r : std_logic) return boolean is

+    begin

+    if is_x(l) or is_x(r) then

+      report "std_logic_warning.""="": metavalue detected, returning FALSE"

+        severity WARNING;

+      return FALSE;

+    end if;

+    return l = r; -- std_logic_1164."="(l, r);

+    end function;

+

+end package body;

+

+library ieee;

+use ieee.std_logic_1164.std_ulogic;

+use ieee.std_logic_1164.std_logic;

+use ieee.std_logic_1164.all;

+

+use work.std_logic_warning.all;

+entity warning_test is

+end entity;

+

+architecture foo of warning_test is

+    signal a: std_logic;

+    signal b: std_logic;

+begin

+

+UNLABELLED:

+    process

+    begin

+        wait for 1 ns;

+        a <= 'X';

+        wait for 1 ns;

+        b <= '1';

+        wait for 1 ns;

+        a <= '0';

+        wait for 1 ns;

+        b <= '0';

+        wait;

+    end process;

+    

+MONITOR:

+    process (a,b)

+    begin

+        assert EQ_BUT_NOT_META(a,b) = TRUE

+            report "a = b " & "( " & std_logic'image(a)

+                             & "=" & std_logic'image(b) & " )"

+                severity NOTE;

+    end process;

+

+end architecture;

+    
\ No newline at end of file
diff --git a/testsuite/gna/bug04/testsuite.sh b/testsuite/gna/bug04/testsuite.sh
new file mode 100755
index 0000000..4126350
--- /dev/null
+++ b/testsuite/gna/bug04/testsuite.sh
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze std_logic_warning.vhdl
+#elab_simulate warning_test
+
+analyze test.vhdl
+elab_simulate warning_test
+
+clean
+
+echo "Test successful"