blob: 60d44f0d02c89f3becc0506bfb2701bfd14c6fed (
plain)
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
30
31
32
33
34
|
package repro2_pkg is
type inner_t is record
value : bit_vector;
end record;
type inner_array_t is array(natural range<>) of inner_t;
type outer_t is record
inner : inner_array_t;
end record;
subtype my_type is outer_t(inner(0 to 31)(value(31 downto 0)));
-- column 44: value
-- column 35: (0 to 31)
end repro2_pkg;
use work.repro2_pkg.all;
entity repro2 is
end;
architecture behav of repro2 is
begin
process
variable v : my_type;
begin
assert v.inner'length = 32 severity failure;
assert v.inner'left = 0 severity failure;
assert v.inner (0).value'length = 32 severity failure;
assert v.inner (31).value'right = 0 severity failure;
wait;
end process;
end behav;
|
