gcc-4.9/gcc/testsuite/gnat.dg/dispatch2.adb


1
2
3
4
5
6
7
8
9
10

--  { dg-do run }

with dispatch2_p; use dispatch2_p;
procedure dispatch2 is
   Obj : Object_Ptr := new Object;
begin
   if Obj.Get_Ptr /= Obj.Impl_Of then
      raise Program_Error;
   end if;
end;