testsuite/gna/issue2051/repro2.vhdl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

ENTITY repro2 IS
END repro2;

architecture arch OF repro2 IS
  type my_rec is record
    bv : bit_vector;
    nat : natural;
  end record;

  type my_rec_array is array (natural range <>) of my_rec;

  constant cst : my_rec_array := (("01", 1), ("10", 2));
begin
  assert cst(0).nat = 1 severity failure;
  assert cst(1).nat = 2 severity failure;
end;