testsuite/gna/issue1862/repro.vhdl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

entity repro is
end entity repro;

architecture beh of repro is
   type     t_bv_array  is array (natural range <>) of bit_vector;
   subtype  t_bv_array2  is t_bv_array(open)(15 downto 0);
begin

  process
    variable v_val_out : t_bv_array2(0 to 0);

    procedure test_proc2(test_val : out t_bv_array2) is
        variable v_val : t_bv_array2(0 to 2) := (others => (others => '0'));
    begin
        test_val := v_val(0 to test_val'length - 1);
    end procedure;

    procedure test_proc(test_val : out t_bv_array2) is
        variable v_val : t_bv_array2(0 to 0);
    begin
        test_proc2(test_val(0 to 0));
    end procedure;
  begin
    test_proc(v_val_out);
    assert false report "This should be printed" severity note;
    wait;
  end process;

end architecture beh;