gcc/testsuite/gnat.dg/test_image_p.adb

   1 with ada.task_identification;
   2 with ada.text_io; use ada.text_io;
   3 package body test_image_p is
   4     function to_type1 (arg1 : in Integer) return type1 is
   5     begin
   6         return  (f2 => (others => Standard.False));
   7     end to_type1;
   8     task body task_t is
   9        Name : String :=
  10              ada.task_identification.image (arg.the_task'identity);
  11     begin
  12         arg.the_array := (others => to_type1 (-1));
  13         if Name (1 .. 19) /= "my_at5c.f3.the_task" then
  14            Put_Line ("error");
  15            raise Program_Error;
  16         end if;
  17
  18         select
  19            accept entry1;
  20         or
  21            terminate;
  22         end select;
  23     end task_t;
  24 end;