gcc/testsuite/gnat.dg/tagged3_pkg.adb

   1 with Ada.Text_IO; use Ada.Text_IO;
   2 package body Tagged3_Pkg is
   3    procedure Prim1 (Self : access Parent) is
   4    begin
   5       raise Program_Error;
   6    end;
   7
   8    procedure Prim1 (Self : access Child) is
   9    begin
  10      Child_Prim1_Called := True;
  11    end;
  12 end;