blob: c7a8963e5a27c2b5498ba1d525bda29889f77103 (
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
35
36
37
38
39
|
package repro2_gpkg is
generic (len : natural);
subtype my_nat is natural range 0 to len;
type my_rec is record
v : integer;
end record;
constant my_cst : my_rec := (v => len);
end;
package repro2_gpkgpkg is
generic (package pkg is new work.repro2_gpkg generic map (<>));
use pkg.all;
constant my2_cst : my_rec := (v => len + 1);
end;
package repro2_pkg10 is new work.repro2_gpkg generic map (len => 10);
package repro2_pkgpkg10 is new work.repro2_gpkgpkg generic map (pkg => work.repro2_pkg10);
entity repro2 is
end;
use work.repro2_pkg10.all;
use work.repro2_pkgpkg10.all;
architecture behav of repro2 is
begin
process
variable v : my_rec;
begin
assert my2_cst.v = my_cst.v + 1 severity failure;
wait;
end process;
end behav;
|
