Add bug017 test cases.

5 files changed, 144 insertions, 0 deletions

diff --git a/testsuite/gna/bug017/call10.vhdl b/testsuite/gna/bug017/call10.vhdl
new file mode 100644
index 000000000..a115b053d
--- /dev/null
+++ b/testsuite/gna/bug017/call10.vhdl
@@ -0,0 +1,22 @@
+entity call10 is
+end;
+
+architecture behav of call10 is
+  procedure check2 (msg : string) is
+  begin
+     assert msg = "checking: abcedfghijklmnopqrstuvwxyz"
+        severity failure;
+     report "SUCCESS" severity note;
+  end check2;
+  
+  procedure check1 (msg : string) is
+  begin
+    check2 ("checking: " & msg);
+  end check1;
+begin
+   process
+   begin
+      check1 ("abcedfghijklmnopqrstuvwxyz");
+      wait;
+   end process;
+end behav;
diff --git a/testsuite/gna/bug017/case1.vhdl b/testsuite/gna/bug017/case1.vhdl
new file mode 100644
index 000000000..214cbf7ed
--- /dev/null
+++ b/testsuite/gna/bug017/case1.vhdl
@@ -0,0 +1,31 @@
+entity case1 is
+end;
+
+architecture behav of case1 is
+begin
+  process
+  begin
+    for i in 1 to 10 loop
+      case i is
+        when 1 =>
+          report "one";
+          wait for 1 ns;
+        when 2 =>
+          report "two";
+          wait for 2 ns;
+        when 3 =>
+          report "three";
+          wait for 3 ns;
+        when 4 to 9 =>
+          report "a big digit";
+          wait for 5 ns;
+        when others =>
+          report "a number";            -- including 0.
+          wait for 10 ns;
+      end case;
+    end loop;
+    report "SUCCESS";
+    wait;
+  end process;
+ 
+end behav;
diff --git a/testsuite/gna/bug017/case2.vhdl b/testsuite/gna/bug017/case2.vhdl
new file mode 100644
index 000000000..eff79c553
--- /dev/null
+++ b/testsuite/gna/bug017/case2.vhdl
@@ -0,0 +1,28 @@
+entity case1 is
+end;
+
+architecture behav of case1 is
+  type vec2 is array (natural range <>) of bit_vector (1 to 4);
+  constant vects : vec2 := (x"0", x"4", x"9", x"3", x"a");
+begin
+  process
+    variable i : natural := 0;
+  begin
+    for i in vects'range loop
+      case vects (i) is
+        when "0100" =>
+          report "value is 4";
+          wait for 4 ns;
+        when "0011" =>
+          report "value is 3";
+          wait for 3 ns;
+        when others =>
+          report "unknown value";
+          wait for 1 ns;
+      end case;
+    end loop;
+    report "SUCCESS";
+    wait;
+  end process;
+ 
+end behav;
diff --git a/testsuite/gna/bug017/case3.vhdl b/testsuite/gna/bug017/case3.vhdl
new file mode 100644
index 000000000..8c8dc1738
--- /dev/null
+++ b/testsuite/gna/bug017/case3.vhdl
@@ -0,0 +1,29 @@
+entity case3 is
+end;
+
+architecture behav of case3 is
+  subtype bv4 is bit_vector (1 to 4);
+  type vec2 is array (natural range <>) of bv4;
+  constant vects : vec2 := (x"0", x"4", x"9", x"3", x"a");
+begin
+  process
+    variable i : natural := 0;
+  begin
+    for i in vects'range loop
+      case bv4'(vects (i)) is
+        when "0100" =>
+          report "value is 4";
+          wait for 4 ns;
+        when "0011" =>
+          report "value is 3";
+          wait for 3 ns;
+        when others =>
+          report "unknown value";
+          wait for 1 ns;
+      end case;
+    end loop;
+    report "SUCCESS";
+    wait;
+  end process;
+ 
+end behav;
diff --git a/testsuite/gna/bug017/case4.vhdl b/testsuite/gna/bug017/case4.vhdl
new file mode 100644
index 000000000..569638ed6
--- /dev/null
+++ b/testsuite/gna/bug017/case4.vhdl
@@ -0,0 +1,34 @@
+entity case4 is
+end;
+
+architecture behav of case4 is
+  subtype bv4 is bit_vector (1 to 4);
+  type vec2 is array (natural range <>) of bv4;
+  constant vects : vec2 := (x"0", x"3", x"9", x"4", x"a");
+
+  procedure print (msg : string; t : time) is
+  begin
+    report msg;
+    wait for t;
+  end print;
+begin
+  process
+  begin
+    for i in vects'range loop
+      case bv4'(vects (i)) is
+        when "0100" =>
+          print ("value is 4", 4 ns);
+          print ("yes, really 4", 4 ns);
+        when "0011" =>
+          print ("value is 3", 3 ns);
+        when "0101" =>
+          print ("value is 5", 5 ns);
+        when others =>
+          print ("unknown value", 0 ns);
+      end case;
+    end loop;
+    report "SUCCESS";
+    wait;
+  end process;
+ 
+end behav;