dispatch2.adb

来自「用于进行gcc测试」· ADB 代码 · 共 11 行

--  { 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;