blob: 4c16e8d7916e58fe6a9dfbdc69aec9180c63608e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
entity repro3 is
end;
architecture arch of repro3 is
type integer_acc is access integer;
type my_rec is record
nat : natural;
p : integer_acc;
end record;
impure function t return my_rec is
begin
return (1, null);
end t;
begin
assert t.nat = 1 severity failure;
end;
|
