gcc/testsuite/gnat.dg/overriding_ops.adb

   1 -- { dg-do compile }
   2
   3 package body overriding_ops is
   4    task body Light_Programmer is
   5    begin
   6       accept Set_Name (Name : Name_Type);
   7    end Light_Programmer;
   8
   9    protected body Light is
  10       procedure Set_Name (Name : Name_Type) is
  11       begin
  12          L_Name := Name;
  13       end Set_Name;
  14    end Light;
  15 end overriding_ops;