view gcc/testsuite/gnat.dg/interface1.adb @ 140:4e440907fcbf

copy CbC goto flang in cfgexpand remove some CbC unnecessary code
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 14 Nov 2018 00:24:45 +0900
parents 04ced10e8804
children
line wrap: on
line source

-- { dg-do run }

with System;
procedure Interface1 is
   package Pkg is
      type I1 is interface;
      type Root is tagged record
         Data : string (1 .. 300);
      end record;
      type DT is new Root and I1 with null record;
   end Pkg;
   use Pkg; 
   use type System.Address; 
   Obj : DT;
   procedure IW (O : I1'Class) is 
   begin
      if O'Address /= Obj'Address then
         raise Program_Error;
      end if;
   end IW;
begin   
   IW (Obj);
end Interface1;