gcc/testsuite/gnat.dg/addr2_p.adb

   1
   2 with System;
   3 package body addr2_p is
   4    procedure Process (Blk : Block) is
   5       use type System.Address;
   6    begin
   7       if Blk'Address /= B1'Address and then Blk'Address /= B2'Address then
   8          raise Program_Error;
   9       end if;
  10    end;
  11 end;