gcc/testsuite/gnat.dg/dispatch2.adb

   1 --  { dg-do run }
   2
   3 with dispatch2_p; use dispatch2_p;
   4 procedure dispatch2 is
   5    Obj : Object_Ptr := new Object;
   6 begin
   7    if Obj.Get_Ptr /= Obj.Impl_Of then
   8       raise Program_Error;
   9    end if;
  10 end;