1--  { dg-do compile }
2
3with Sync_Iface_Call_Pkg;
4with Sync_Iface_Call_Pkg2;
5
6procedure Sync_Iface_Call is
7
8   Impl : access Sync_Iface_Call_Pkg.IFace'Class :=
9       new Sync_Iface_Call_Pkg2.Impl;
10   Val : aliased Integer := 10;
11begin
12   select
13      Impl.Do_Stuff (Val);
14   or
15      delay 10.0;
16   end select;
17   select
18      Impl.Do_Stuff_Access (Val'Access);
19   or
20      delay 10.0;
21   end select;
22
23   select
24      Impl.Do_Stuff_2 (Val);
25   or
26      delay 10.0;
27   end select;
28
29   select
30      Impl.Do_Stuff_2_Access (Val'Access);
31   or
32      delay 10.0;
33   end select;
34end Sync_Iface_Call;
35