blob: fb4ff7c99bfdb59fe137230ffbc6977e255be627 (
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
40
41
42
|
package repro2_pkg is
function get return natural;
end;
package body repro2_pkg is
function get1 return natural is
begin
report "get1 called";
return 123;
end get1;
constant c : natural := get1;
function get return natural is
begin
report "get called, return: " & natural'image (c);
return c;
end get;
end repro2_pkg;
package repro2_gpkg is
generic (type t);
function get return natural;
end;
package body repro2_gpkg is
function get return natural is
begin
return work.repro2_pkg.get;
end get;
end;
entity repro2 is
end;
architecture behav of repro2 is
package inst is new work.repro2_gpkg generic map (t => bit);
begin
assert inst.get > 120 and inst.get < 130 severity failure;
end;
|
