addr2_p.adb

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

with System;
package body addr2_p is
   procedure Process (Blk : Block) is
      use type System.Address;
   begin
      if Blk'Address /= B1'Address and then Blk'Address /= B2'Address then
         raise Program_Error;
      end if;
   end;
end;