gcc/testsuite/gnat.dg/aggr10_pkg.ads

   1 package Aggr10_Pkg is
   2
   3    type Name_Id is range 300_000_000 .. 399_999_999;
   4    type Int is range -2 ** 31 .. +2 ** 31 - 1;
   5    type Source_Id is range 5_000_000 .. 5_999_999;
   6
   7    type Name_Location is record
   8       Name     : Name_Id;
   9       Location : Int;
  10       Source   : Source_Id;
  11       Except   : Boolean;
  12       Found    : Boolean := False;
  13    end record;
  14
  15    function Get return Name_Location;
  16    procedure Set (Name_Loc : Name_Location);
  17
  18 end Aggr10_Pkg;