testsuite/gna/bug0117/repro7.vhdl


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

entity repro7 is
end repro7;

architecture behav of repro7 is
  type my_rec is record
    addr : bit_vector;
    wr : boolean;
    desc : string;
  end record;

  constant v : my_rec (addr(0 downto 0)) := (
    addr => (others => '0'),
    wr   => true,
    desc => "none");
begin
  assert v.wr;
  assert v.desc = "none";
end behav;