2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>

[official-gcc.git] / gcc / testsuite / gnat.dg / nat1r.adb

-- { dg-do run }

   with System, NAT1; use NAT1;
   procedure Nat1R is
      use type System.Address;
   begin
      if One_Address /= Nat_One_Storage'Address then
         raise Constraint_Error;
      end if;
   end;