gcc/testsuite/gnat.dg/sync_iface_call.adb


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

--  { dg-do compile }

with Sync_Iface_Call_Pkg;
with Sync_Iface_Call_Pkg2;

procedure Sync_Iface_Call is

   Impl : access Sync_Iface_Call_Pkg.IFace'Class :=
       new Sync_Iface_Call_Pkg2.Impl;
   Val : aliased Integer := 10;
begin
   select
      Impl.Do_Stuff (Val);
   or
      delay 10.0;
   end select;
   select
      Impl.Do_Stuff_Access (Val'Access);
   or
      delay 10.0;
   end select;

   select
      Impl.Do_Stuff_2 (Val);
   or
      delay 10.0;
   end select;

   select
      Impl.Do_Stuff_2_Access (Val'Access);
   or
      delay 10.0;
   end select;
end Sync_Iface_Call;