blob: a73b4362310d444e02f6986fd4d549192dab67bc (
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
|
package pkg is
function f return natural;
end pkg;
package body pkg is
constant c : natural := 5;
function f return natural is
begin
report "read " & c'path_name severity note;
return c;
end;
end pkg;
entity repro is
end;
architecture behav of repro is
begin
process
begin
assert work.pkg.f >= 2;
wait;
end process;
end behav;
|
