|
111
|
1 -- { dg-do run }
|
|
|
2 -- Test that a static link is correctly passed to a subprogram which is
|
|
|
3 -- indirectly called through an aggregate.
|
|
|
4
|
|
|
5 procedure Nested_Proc1 is
|
|
|
6
|
|
|
7 I : Integer := 0;
|
|
|
8
|
|
|
9 procedure P1 (X : Integer) is
|
|
|
10 begin
|
|
|
11 I := X;
|
|
|
12 end;
|
|
|
13
|
|
|
14 type Func_Ptr is access procedure (X : Integer);
|
|
|
15
|
|
|
16 type Arr is array (1..64) of Integer;
|
|
|
17
|
|
|
18 type Rec is record
|
|
|
19 F : Func_Ptr;
|
|
|
20 A : Arr;
|
|
|
21 end record;
|
|
|
22
|
|
|
23 procedure P2 (R : Rec) is
|
|
|
24 begin
|
|
|
25 R.F (1);
|
|
|
26 end;
|
|
|
27
|
|
|
28 begin
|
|
|
29 P2 ((F => P1'Access, A => (others => 0)));
|
|
|
30 if I /= 1 then
|
|
|
31 raise Program_Error;
|
|
|
32 end if;
|
|
|
33 end;
|
