summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/dispatch2.adb
blob: ed57b13359e1020f4ba98680b93267ea73ebf4a1 (plain)
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;