summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/nat1r.adb
blob: 91a17ba3a637d19e0025a3e1d676b8ea206079ce (plain)
1
2
3
4
5
6
7
8
9
10
11
-- { 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;