bug017: add more tests

3 files changed, 46 insertions, 0 deletions

diff --git a/testsuite/gna/bug017/call6a.vhdl b/testsuite/gna/bug017/call6a.vhdl
new file mode 100644
index 000000000..098198ed1
--- /dev/null
+++ b/testsuite/gna/bug017/call6a.vhdl
@@ -0,0 +1,21 @@
+entity call6a is
+end;
+
+architecture behav of call6a is
+  procedure check (s : string) is
+  begin
+    wait for 1 ns;
+    assert s (2) = 'a';
+  end;
+begin
+  process
+    variable c : character := 'a';
+  begin
+    check ("bac");
+    wait for 2 ns;
+    check ((1 => 'e', 2 => c, 3 => 'c'));
+    report "SUCCESS";
+    wait;
+  end process;
+ 
+end behav;
diff --git a/testsuite/gna/bug017/call6b.vhdl b/testsuite/gna/bug017/call6b.vhdl
new file mode 100644
index 000000000..ed51e6e7d
--- /dev/null
+++ b/testsuite/gna/bug017/call6b.vhdl
@@ -0,0 +1,23 @@
+entity call6b is
+end;
+
+architecture behav of call6b is
+  type my_rec is record
+    a, b, c : character;
+  end record;
+  
+  procedure check (s : my_rec) is
+  begin
+    wait for 1 ns;
+    assert s.b = 'a';
+  end;
+begin
+  process
+    variable c : character := 'a';
+  begin
+    check ((a => 'e', b => 'a', c => 'c'));
+    report "SUCCESS";
+    wait;
+  end process;
+ 
+end behav;
diff --git a/testsuite/gna/bug017/testsuite.sh b/testsuite/gna/bug017/testsuite.sh
index a0e9b02ed..d8972aff8 100755
--- a/testsuite/gna/bug017/testsuite.sh
+++ b/testsuite/gna/bug017/testsuite.sh
@@ -9,6 +9,8 @@ call3
 call4
 call5
 call6
+call6a
+call6b
 call7
 call8
 call9