gcc/testsuite/gnat.dg/addr2_p.adb


1
2
3
4
5
6
7
8
9
10
11

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;