gcc/testsuite/gnat.dg/sync_iface_call.adb

   1 --  { dg-do compile }
   2
   3 with Sync_Iface_Call_Pkg;
   4 with Sync_Iface_Call_Pkg2;
   5
   6 procedure 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;
  11 begin
  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;
  34 end Sync_Iface_Call;