From 4b6f841fcd09ce8f0a80e87d4031d9417c0eabb5 Mon Sep 17 00:00:00 2001
From: Tristan Gingold
Date: Tue, 20 Jan 2015 15:21:35 +0100
Subject: Add bug04 testcase.

---
 testsuite/gna/bug04/std_logic_warning.vhdl | 64 ++++++++++++++++++++++++++++++
 testsuite/gna/bug04/test.vhdl              | 63 +++++++++++++++++++++++++++++
 testsuite/gna/bug04/testsuite.sh           | 13 ++++++
 3 files changed, 140 insertions(+)
 create mode 100644 testsuite/gna/bug04/std_logic_warning.vhdl
 create mode 100644 testsuite/gna/bug04/test.vhdl
 create mode 100755 testsuite/gna/bug04/testsuite.sh

(limited to 'testsuite')

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"
-- 
cgit