Add more tests for #418

5 files changed, 579 insertions, 8 deletions

diff --git a/testsuite/gna/issue418/repro2.vhdl b/testsuite/gna/issue418/repro2.vhdl
index 9565c86ee..82221ec18 100644
--- a/testsuite/gna/issue418/repro2.vhdl
+++ b/testsuite/gna/issue418/repro2.vhdl
@@ -2,7 +2,7 @@ entity repro2 is
 end;
 
 architecture behav of repro2 is
-   -- AXI-Lite Interface signals    
+   -- AXI-Lite Interface signals
   type address_channel is record
     --DUT inputs
     awaddr  : bit_vector;
@@ -31,5 +31,4 @@ begin
     assert s.write_channel.awaddr(14) = '1';
     wait;
   end process;
-    
 end;
diff --git a/testsuite/gna/issue418/tc749-2.vhdl b/testsuite/gna/issue418/tc749-2.vhdl
new file mode 100644
index 000000000..bb426f003
--- /dev/null
+++ b/testsuite/gna/issue418/tc749-2.vhdl
@@ -0,0 +1,95 @@
+
+-- Copyright (C) 2001 Bill Billowitch.
+
+-- Some of the work to develop this test suite was done with Air Force
+-- support.  The Air Force and Bill Billowitch assume no
+-- responsibilities for this software.
+
+-- This file is part of VESTs (Vhdl tESTs).
+
+-- VESTs is free software; you can redistribute it and/or modify it
+-- under the terms of the GNU General Public License as published by the
+-- Free Software Foundation; either version 2 of the License, or (at
+-- your option) any later version. 
+
+-- VESTs is distributed in the hope that it will be useful, but WITHOUT
+-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+-- FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+-- for more details. 
+
+-- You should have received a copy of the GNU General Public License
+-- along with VESTs; if not, write to the Free Software Foundation,
+-- Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA 
+
+-- ---------------------------------------------------------------------
+--
+-- $Id: tc749.vhd,v 1.2 2001-10-26 16:29:59 paw Exp $
+-- $Revision: 1.2 $
+--
+-- ---------------------------------------------------------------------
+
+ENTITY tc749 IS
+  generic(
+    zero : integer := 0;
+    seven: integer := 7;
+    fifteen:integer:= 15;
+    C1 : boolean    := true;
+    C2 : bit       := '1';
+    C3 : character    := 's';
+    C4 : severity_level:= note;
+    C5 : integer    := 3;
+    C6 : real       := 3.0;
+    C7 : time       := 3 ns;
+    C8 : natural    := 1;
+    C9 : positive    := 1
+    );
+END tc749;
+
+ARCHITECTURE arch OF tc749 IS
+  type boolean_cons_vector    is array (fifteen downto zero) of boolean;
+  type severity_level_cons_vector    is array (fifteen downto zero) of severity_level;
+  type integer_cons_vector    is array (fifteen downto zero) of integer;
+  type real_cons_vector    is array (fifteen downto zero) of real;
+  type time_cons_vector    is array (fifteen downto zero) of time;
+  type natural_cons_vector    is array (fifteen downto zero) of natural;
+  type positive_cons_vector    is array (fifteen downto zero) of positive;
+  
+  type record_cons_array is record
+                              a:boolean_cons_vector;
+                              b:severity_level_cons_vector;
+                              c:integer_cons_vector;
+                              d:real_cons_vector;
+                              e:time_cons_vector;
+                              f:natural_cons_vector;
+                              g:positive_cons_vector;
+                            end record;
+  type array_rec_cons    is array (integer range <>) of record_cons_array;
+  
+  constant C19 : boolean_cons_vector    := (others => C1);
+  constant C20 : severity_level_cons_vector    := (others => C4);
+  constant C21 : integer_cons_vector    := (others => C5);
+  constant C22 : real_cons_vector    := (others => C6);
+  constant C23 : time_cons_vector    :=  (others => C7);
+  constant C24 : natural_cons_vector    :=  (others => C8);
+  constant C25 : positive_cons_vector    :=  (others => C9);
+  constant C51 : record_cons_array    := (C19,C20,C21,C22,C23,C24,C25);
+  constant C86: array_rec_cons (0 to 7)    :=(others => C51);
+
+  signal V49   : array_rec_cons(zero to seven) ;
+
+
+BEGIN
+  V49    <= C86;
+
+
+  TESTING: PROCESS
+  BEGIN
+
+    wait for 1 ns;
+
+    assert V49= C86    report " error in initializing S49" severity error;
+
+    wait;
+  END PROCESS TESTING;
+
+END arch;
diff --git a/testsuite/gna/issue418/tc749-3.vhdl b/testsuite/gna/issue418/tc749-3.vhdl
new file mode 100644
index 000000000..7f9c236f5
--- /dev/null
+++ b/testsuite/gna/issue418/tc749-3.vhdl
@@ -0,0 +1,76 @@
+
+-- Copyright (C) 2001 Bill Billowitch.
+
+-- Some of the work to develop this test suite was done with Air Force
+-- support.  The Air Force and Bill Billowitch assume no
+-- responsibilities for this software.
+
+-- This file is part of VESTs (Vhdl tESTs).
+
+-- VESTs is free software; you can redistribute it and/or modify it
+-- under the terms of the GNU General Public License as published by the
+-- Free Software Foundation; either version 2 of the License, or (at
+-- your option) any later version. 
+
+-- VESTs is distributed in the hope that it will be useful, but WITHOUT
+-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+-- FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+-- for more details. 
+
+-- You should have received a copy of the GNU General Public License
+-- along with VESTs; if not, write to the Free Software Foundation,
+-- Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA 
+
+-- ---------------------------------------------------------------------
+--
+-- $Id: tc749.vhd,v 1.2 2001-10-26 16:29:59 paw Exp $
+-- $Revision: 1.2 $
+--
+-- ---------------------------------------------------------------------
+
+ENTITY tc749 IS
+  generic(
+    zero : integer := 0;
+    seven: integer := 7;
+    fifteen:integer:= 15;
+    C1 : boolean    := true;
+    C2 : bit       := '1';
+    C3 : character    := 's';
+    C4 : severity_level:= note;
+    C5 : integer    := 3;
+    C6 : real       := 3.0;
+    C7 : time       := 3 ns;
+    C8 : natural    := 1;
+    C9 : positive    := 1
+    );
+END tc749;
+
+ARCHITECTURE arch OF tc749 IS
+  type boolean_cons_vector    is array (fifteen downto zero) of boolean;
+  type severity_level_cons_vector  is array (fifteen downto zero) of severity_level;
+  type integer_cons_vector    is array (fifteen downto zero) of integer;
+
+  type record_cons_array is record
+                              a:boolean_cons_vector;
+                              b:severity_level_cons_vector;
+                              c:integer_cons_vector;
+                            end record;
+  type array_rec_cons    is array (integer range <>) of record_cons_array;
+
+  constant C19 : boolean_cons_vector    := (others => C1);
+  constant C20 : severity_level_cons_vector    := (others => C4);
+  constant C21 : integer_cons_vector    := (others => C5);
+  constant C51 : record_cons_array    := (C19,C20,C21);
+  constant C86: array_rec_cons (0 to 7)    :=(others => C51);
+
+  signal V49   : array_rec_cons(zero to seven) ;
+BEGIN
+  V49    <= C86;
+
+  TESTING: PROCESS
+  BEGIN
+    wait for 1 ns;
+    assert V49= C86    report " error in initializing S49" severity error;
+    wait;
+  END PROCESS TESTING;
+END arch;
diff --git a/testsuite/gna/issue418/tc749.vhdl b/testsuite/gna/issue418/tc749.vhdl
new file mode 100644
index 000000000..9166766c2
--- /dev/null
+++ b/testsuite/gna/issue418/tc749.vhdl
@@ -0,0 +1,401 @@
+
+-- Copyright (C) 2001 Bill Billowitch.
+
+-- Some of the work to develop this test suite was done with Air Force
+-- support.  The Air Force and Bill Billowitch assume no
+-- responsibilities for this software.
+
+-- This file is part of VESTs (Vhdl tESTs).
+
+-- VESTs is free software; you can redistribute it and/or modify it
+-- under the terms of the GNU General Public License as published by the
+-- Free Software Foundation; either version 2 of the License, or (at
+-- your option) any later version. 
+
+-- VESTs is distributed in the hope that it will be useful, but WITHOUT
+-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+-- FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+-- for more details. 
+
+-- You should have received a copy of the GNU General Public License
+-- along with VESTs; if not, write to the Free Software Foundation,
+-- Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA 
+
+-- ---------------------------------------------------------------------
+--
+-- $Id: tc749.vhd,v 1.2 2001-10-26 16:29:59 paw Exp $
+-- $Revision: 1.2 $
+--
+-- ---------------------------------------------------------------------
+
+ENTITY tc749 IS
+  generic(
+    zero : integer := 0;
+    one  : integer := 1;
+    two  : integer := 2;
+    three: integer := 3;
+    four : integer := 4;
+    five : integer := 5;
+    six  : integer := 6;
+    seven: integer := 7;
+    eight: integer := 8;
+    nine : integer := 9;
+    fifteen:integer:= 15;
+    C1 : boolean    := true;
+    C2 : bit       := '1';
+    C3 : character    := 's';
+    C4 : severity_level:= note;
+    C5 : integer    := 3;
+    C6 : real       := 3.0;
+    C7 : time       := 3 ns;
+    C8 : natural    := 1;
+    C9 : positive    := 1;
+    C10 : string    := "shishir";
+    C11 : bit_vector    := B"0011"
+    );
+END tc749;
+
+ARCHITECTURE arch OF tc749 IS
+  subtype hi_to_low_range    is integer range zero to seven;
+  type boolean_vector       is array (natural range <>) of boolean;
+  type severity_level_vector    is array (natural range <>) of severity_level;
+  type integer_vector       is array (natural range <>) of integer;
+  type real_vector       is array (natural range <>) of real;
+  type time_vector       is array (natural range <>) of time;
+  type natural_vector       is array (natural range <>) of natural;
+  type positive_vector    is array (natural range <>) of positive;
+
+  subtype boolean_vector_st    is boolean_vector(zero to fifteen);
+  subtype severity_level_vector_st    is  severity_level_vector(zero to fifteen);
+  subtype integer_vector_st    is  integer_vector(zero to fifteen);
+  subtype real_vector_st    is  real_vector(zero to fifteen);
+  subtype time_vector_st    is  time_vector(zero to fifteen);
+  subtype natural_vector_st    is  natural_vector(zero to fifteen);
+  subtype positive_vector_st    is  positive_vector(zero to fifteen);
+
+  type boolean_cons_vector    is array (fifteen downto zero) of boolean;
+  type severity_level_cons_vector    is array (fifteen downto zero) of severity_level;
+  type integer_cons_vector    is array (fifteen downto zero) of integer;
+  type real_cons_vector    is array (fifteen downto zero) of real;
+  type time_cons_vector    is array (fifteen downto zero) of time;
+  type natural_cons_vector    is array (fifteen downto zero) of natural;
+  type positive_cons_vector    is array (fifteen downto zero) of positive;
+  
+  type boolean_cons_vectorofvector    is array (zero to fifteen) of boolean_cons_vector;   
+  type severity_level_cons_vectorofvector    is array (zero to fifteen) of severity_level_cons_vector;
+  type integer_cons_vectorofvector    is array (zero to fifteen) of integer_cons_vector
+    ;
+  type real_cons_vectorofvector    is array (zero to fifteen) of real_cons_vector;
+  type time_cons_vectorofvector    is array (zero to fifteen) of time_cons_vector;
+  type natural_cons_vectorofvector    is array (zero to fifteen) of natural_cons_vector;   
+  type positive_cons_vectorofvector    is array (zero to fifteen) of positive_cons_vector;
+  
+  type record_std_package is record
+                               a:boolean;
+                               b:bit;
+                               c:character;
+                               d:severity_level;
+                               e:integer;
+                               f:real;
+                               g:time;
+                               h:natural;
+                               i:positive;
+                               j:string(one to seven);
+                               k:bit_vector(zero to three);
+                             end record;
+
+  type record_array_st is record
+                            a:boolean_vector_st;
+                            b:severity_level_vector_st;
+                            c:integer_vector_st;
+                            d:real_vector_st;
+                            e:time_vector_st;
+                            f:natural_vector_st;
+                            g:positive_vector_st;
+                          end record;
+  
+  type record_cons_array is record
+                              a:boolean_cons_vector;
+                              b:severity_level_cons_vector;
+                              c:integer_cons_vector;
+                              d:real_cons_vector;
+                              e:time_cons_vector;
+                              f:natural_cons_vector;
+                              g:positive_cons_vector;
+                            end record;
+  
+  type record_cons_arrayofarray is record
+                                     a:boolean_cons_vectorofvector;
+                                     b:severity_level_cons_vectorofvector;
+                                     c:integer_cons_vectorofvector;
+                                     d:real_cons_vectorofvector;
+                                     e:time_cons_vectorofvector;
+                                     f:natural_cons_vectorofvector;
+                                     g:positive_cons_vectorofvector;
+                                   end record;
+  
+  type record_array_new is record
+                             a:boolean_vector(zero to fifteen);
+                             b:severity_level_vector(zero to fifteen);
+                             c:integer_vector(zero to fifteen);
+                             d:real_vector(zero to fifteen);
+                             e:time_vector(zero to fifteen);
+                             f:natural_vector(zero to fifteen);
+                             g:positive_vector(zero to fifteen);
+                           end record;
+  
+  type record_of_records is record
+                              a: record_std_package;
+                              c: record_cons_array;
+                              g: record_cons_arrayofarray;
+                              i: record_array_st;
+                              j: record_array_new;
+                            end record;
+  
+  subtype boolean_vector_range    is boolean_vector(hi_to_low_range);
+  subtype severity_level_vector_range    is severity_level_vector(hi_to_low_range);
+  subtype integer_vector_range    is integer_vector(hi_to_low_range);
+  subtype real_vector_range       is real_vector(hi_to_low_range);
+  subtype time_vector_range       is time_vector(hi_to_low_range);
+  subtype natural_vector_range    is natural_vector(hi_to_low_range);
+  subtype positive_vector_range    is positive_vector(hi_to_low_range);
+
+  type array_rec_std    is array (integer range <>) of record_std_package;
+  type array_rec_cons    is array (integer range <>) of record_cons_array;
+  
+  constant C12 : boolean_vector    := (C1,false);
+  constant C13 : severity_level_vector    := (C4,error);
+  constant C14 : integer_vector    := (one,two,three,four);
+  constant C15 : real_vector    := (1.0,2.0,C6,4.0);
+  constant C16 : time_vector    := (1 ns, 2 ns,C7, 4 ns);
+  constant C17 : natural_vector    := (one,2,3,4);
+  constant C18 : positive_vector    := (one,2,3,4);
+  constant C19 : boolean_cons_vector    := (others => C1);
+  constant C20 : severity_level_cons_vector    := (others => C4);
+  constant C21 : integer_cons_vector    := (others => C5);
+  constant C22 : real_cons_vector    := (others => C6);
+  constant C23 : time_cons_vector    :=  (others => C7);
+  constant C24 : natural_cons_vector    :=  (others => C8);
+  constant C25 : positive_cons_vector    :=  (others => C9);
+  constant C26 : boolean_cons_vectorofvector    := (others => (others => C1));
+  constant C27 : severity_level_cons_vectorofvector    :=  (others => (others => C4));
+  constant C28 : integer_cons_vectorofvector    := (others => (others => C5));
+  constant C29 : real_cons_vectorofvector    := (others => (others => C6));
+  constant C30 : time_cons_vectorofvector    := (others => (others => C7));
+  constant C31 : natural_cons_vectorofvector    := (others => (others => C8));
+  constant C32 : positive_cons_vectorofvector    := (others => (others => C9));
+  constant C50 : record_std_package    := (C1,C2,C3,C4,C5,C6,C7,C8,C9,C10,C11);
+  constant C51 : record_cons_array    := (C19,C20,C21,C22,C23,C24,C25);
+  constant C53 : record_cons_arrayofarray := (C26,C27,C28,C29,C30,C31,C32);
+  constant C70 : boolean_vector_st :=(others => C1);
+  constant C71 : severity_level_vector_st   := (others => C4);
+  constant C72 : integer_vector_st:=(others => C5);
+  constant C73 : real_vector_st   :=(others => C6);
+  constant C74 : time_vector_st   :=(others => C7);
+  constant C75 : natural_vector_st:=(others => C8);
+  constant C76 : positive_vector_st:=(others => C9);
+  constant C77 : record_array_st    := (C70,C71,C72,C73,C74,C75,C76);
+  constant C54a :record_array_st    := (C70,C71,C72,C73,C74,C75,C76);
+  constant C54b: record_array_new   := (C70,C71,C72,C73,C74,C75,C76);
+  constant C55 : record_of_records:= (C50,C51,C53,C77,C54b);
+  constant C86: array_rec_cons (0 to 7)    :=(others => C51);
+
+  signal V1    : boolean_vector(zero to fifteen) ;
+  signal V2    : severity_level_vector(zero to fifteen);
+  signal V3    : integer_vector(zero to fifteen) ;
+  signal V4    : real_vector(zero to fifteen) ;
+  signal V5    : time_vector (zero to fifteen);
+  signal V6    : natural_vector(zero to fifteen);
+  signal V7    : positive_vector(zero to fifteen);
+  signal V8    : boolean_cons_vector;
+  signal V9    : severity_level_cons_vector ;
+  signal V10    : integer_cons_vector;
+  signal V11    : real_cons_vector;
+  signal V12    : time_cons_vector ;
+  signal V13    : natural_cons_vector ;
+  signal V14    : positive_cons_vector ;
+  signal V15    : boolean_cons_vectorofvector ;
+  signal V16    : severity_level_cons_vectorofvector;
+  signal V17    : integer_cons_vectorofvector;
+  signal V18    : real_cons_vectorofvector;
+  signal V19    : time_cons_vectorofvector;
+  signal V20    : natural_cons_vectorofvector;
+  signal V21    : positive_cons_vectorofvector;
+  signal V22    : record_std_package;
+  signal V23    : record_cons_array ;
+  signal V24    : record_cons_arrayofarray ;
+  signal V25    : boolean_vector_st ;
+  signal V26    : severity_level_vector_st ;
+  signal V27    : integer_vector_st ;
+  signal V28    : real_vector_st ;
+  signal V29    : time_vector_st ;
+  signal V30    : natural_vector_st ;
+  signal V31    : positive_vector_st ;
+  signal V32    : record_array_st ;
+  signal V33    : record_array_st ;
+  signal V34   : record_array_new ;
+  signal V35    : record_of_records ;
+  signal V49   : array_rec_cons(zero to seven) ;
+
+
+BEGIN
+  V1     <= (zero to fifteen => C1);
+  V2     <= (zero to fifteen => C4);
+  V3     <= (zero to fifteen => C5);
+  V4     <= (zero to fifteen => C6);
+  V5     <= (zero to fifteen => C7);
+  V6     <= (zero to fifteen => C8);
+  V7     <= (zero to fifteen => C9);
+  V8     <= C19;
+  V9     <= C20;
+  V10     <= C21;
+  V11     <= C22;
+  V12     <= C23;
+  V13     <= C24;
+  V14     <= C25;
+  V15     <= C26;
+  V16     <= C27;
+  V17     <= C28;
+  V18     <= C29;
+  V19     <= C30;
+  V20     <= C31;
+  V21     <= C32;
+  V22     <= C50;
+  V23     <= C51;
+  V24     <= C53;
+  V25     <= C70;
+  V26     <= C71;
+  V27     <= C72;
+  V28     <= C73;
+  V29     <= C74;
+  V30     <= C75;
+  V31     <= C76;
+  V32     <= C54a;
+  V33     <= C54a;
+  V34    <= C54b;
+  V35     <= C55;
+  V49    <= C86;
+
+
+  TESTING: PROCESS
+  BEGIN
+
+    wait for 1 ns;
+
+    assert (V1(0) = C1)    report " error in initializing S1" severity error;
+    assert (V2(0) = C4)    report " error in initializing S2" severity error;
+    assert (V3(0) = C5)    report " error in initializing S3" severity error;
+    assert (V4(0) = C6)    report " error in initializing S4" severity error;
+    assert (V5(0) = C7)    report " error in initializing S5" severity error;
+    assert (V6(0) = C8)    report " error in initializing S6" severity error;
+    assert (V7(0) = C9)    report " error in initializing S7" severity error;
+    assert V8 = C19    report " error in initializing S8" severity error;
+    assert V9 = C20    report " error in initializing S9" severity error;
+    assert V10 = C21    report " error in initializing S10" severity error;
+    assert V11 = C22    report " error in initializing S11" severity error;
+    assert V12 = C23    report " error in initializing S12" severity error;
+    assert V13 = C24    report " error in initializing S13" severity error;
+    assert V14 = C25    report " error in initializing S14" severity error;
+    assert V15 = C26    report " error in initializing S15" severity error;
+    assert V16 = C27    report " error in initializing S16" severity error;
+    assert V17 = C28    report " error in initializing S17" severity error;
+    assert V18 = C29    report " error in initializing S18" severity error;
+    assert V19 = C30    report " error in initializing S19" severity error;
+    assert V20 = C31    report " error in initializing S20" severity error;
+    assert V21 = C32    report " error in initializing S21" severity error;
+    assert V22 = C50    report " error in initializing S22" severity error;
+    assert V23 = C51    report " error in initializing S23" severity error;
+    assert V24 = C53     report " error in initializing S24" severity error;
+    assert V25 = C70     report " error in initializing S25" severity error;
+    assert V26 = C71    report " error in initializing S26" severity error;
+    assert V27 = C72    report " error in initializing S27" severity error;
+    assert V28 = C73    report " error in initializing S28" severity error;
+    assert V29 = C74    report " error in initializing S29" severity error;
+    assert V30 = C75    report " error in initializing S30" severity error;
+    assert V31 = C76    report " error in initializing S31" severity error;
+    assert V32 = C54a    report " error in initializing S32" severity error;
+    assert V33 = C54a    report " error in initializing S33" severity error;
+    assert V34= C54b    report " error in initializing S34" severity error;
+    assert V35 = C55    report " error in initializing S35" severity error;
+    assert V49= C86    report " error in initializing S49" severity error;
+
+    assert NOT(    (V1(0) = C1)    and 
+                   (V2(0) = C4)    and 
+                   (V3(0) = C5)    and 
+                   (V4(0) = C6)    and 
+                   (V5(0) = C7)    and 
+                   (V6(0) = C8)    and 
+                   (V7(0) = C9)    and 
+                   V8 = C19    and 
+                   V9 = C20    and 
+                   V10 = C21    and 
+                   V11 = C22    and 
+                   V12 = C23    and 
+                   V13 = C24    and 
+                   V14 = C25    and 
+                   V15 = C26    and 
+                   V16 = C27    and 
+                   V17 = C28    and 
+                   V18 = C29    and 
+                   V19 = C30    and 
+                   V20 = C31    and 
+                   V21 = C32    and
+                   V22 = C50    and
+                   V23 = C51    and
+                   V24 = C53     and
+                   V25 = C70     and
+                   V26 = C71    and
+                   V27 = C72    and
+                   V28 = C73    and
+                   V29 = C74    and
+                   V30 = C75    and
+                   V31 = C76    and
+                   V32 = C54a    and
+                   V33 = C54a    and
+                   V34= C54b    and
+                   V35 = C55    and
+                   V49= C86     )   
+      report "***PASSED TEST: c01s01b01x01p05n02i00749"
+      severity NOTE;
+    assert (    (V1(0) = C1)    and 
+                (V2(0) = C4)    and 
+                (V3(0) = C5)    and 
+                (V4(0) = C6)    and 
+                (V5(0) = C7)    and 
+                (V6(0) = C8)    and 
+                (V7(0) = C9)    and 
+                V8 = C19    and 
+                V9 = C20    and 
+                V10 = C21    and 
+                V11 = C22    and 
+                V12 = C23    and 
+                V13 = C24    and 
+                V14 = C25    and 
+                V15 = C26    and 
+                V16 = C27    and 
+                V17 = C28    and 
+                V18 = C29    and 
+                V19 = C30    and 
+                V20 = C31    and 
+                V21 = C32    and
+                V22 = C50    and
+                V23 = C51    and
+                V24 = C53     and
+                V25 = C70     and
+                V26 = C71    and
+                V27 = C72    and
+                V28 = C73    and
+                V29 = C74    and
+                V30 = C75    and
+                V31 = C76    and
+                V32 = C54a    and
+                V33 = C54a    and
+                V34= C54b    and
+                V35 = C55    and
+                V49= C86     )   
+      report "***FAILED TEST: c01s01b01x01p05n02i00749 - Generic can be used to specify the size of ports."
+      severity ERROR;
+    wait;
+  END PROCESS TESTING;
+
+END arch;
diff --git a/testsuite/gna/issue418/testsuite.sh b/testsuite/gna/issue418/testsuite.sh
index 86c375820..111e0e6d6 100755
--- a/testsuite/gna/issue418/testsuite.sh
+++ b/testsuite/gna/issue418/testsuite.sh
@@ -6,20 +6,20 @@ export GHDL_STD_FLAGS=--std=08
 analyze repro.vhdl
 elab repro
 
-if ghdl_has_feature repro ghw; then
-  simulate repro --wave=repro.ghw
-  # How to test the ghw ?  Use ghwdump ?
-fi
-
 analyze repro2.vhdl
 elab repro2
 
+analyze tc749.vhdl
+elab tc749
+
 if ghdl_has_feature repro2 ghw; then
+  simulate repro --wave=repro.ghw
   simulate repro2 --wave=repro2.ghw
+  simulate tc749 --wave=tc749.ghw
   # How to test the ghw ?  Use ghwdump ?
 fi
 
 clean
-rm -f repro.ghw repro2.ghw
+rm -f repro.ghw repro2.ghw tc749.ghw
 
 echo "Test successful"