diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/aggr10_pkg.ads')
-rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/aggr10_pkg.ads | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/aggr10_pkg.ads b/gcc-4.9/gcc/testsuite/gnat.dg/aggr10_pkg.ads new file mode 100644 index 000000000..92400f990 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/aggr10_pkg.ads @@ -0,0 +1,18 @@ +package Aggr10_Pkg is + + type Name_Id is range 300_000_000 .. 399_999_999; + type Int is range -2 ** 31 .. +2 ** 31 - 1; + type Source_Id is range 5_000_000 .. 5_999_999; + + type Name_Location is record + Name : Name_Id; + Location : Int; + Source : Source_Id; + Except : Boolean; + Found : Boolean := False; + end record; + + function Get return Name_Location; + procedure Set (Name_Loc : Name_Location); + +end Aggr10_Pkg; |