diff options
author | Arnaud Charlet <charlet@adacore.com> | 2016-06-22 10:31:47 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-22 12:31:47 +0200 |
commit | 7ffbef99665102871af334c1e6d2c8f1e77fd6b7 (patch) | |
tree | 49362ba0c5da270c0b28861ed83db581ae76eb3e /gcc/ada/types.ads | |
parent | 71b235999de097baad9739568b21f7d2714a306a (diff) | |
download | gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.zip gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.tar.gz gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.tar.bz2 |
spark_xrefs.ads (Scope_Num): type refined to positive integers.
2016-06-22 Arnaud Charlet <charlet@adacore.com>
* spark_xrefs.ads (Scope_Num): type refined to positive integers.
* lib-xref-spark_specific.adb (Detect_And_Add_SPARK_Scope):
moved into scope of Collect_SPARK_Xrefs.
(Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs;
now uses Dspec and Scope_Id from Collect_SPARK_Xrefs.
(Collect_SPARK_Xrefs): refactored to avoid retraversing the list
of scopes.
(Traverse_Compilation_Unit): refactored as a generic procedure.
* types.ads (Unit_Number_Type): range refined.
From-SVN: r237690
Diffstat (limited to 'gcc/ada/types.ads')
-rw-r--r-- | gcc/ada/types.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/types.ads b/gcc/ada/types.ads index 1075607..20093c1 100644 --- a/gcc/ada/types.ads +++ b/gcc/ada/types.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2016, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -554,7 +554,7 @@ package Types is -- Types used for Library Management -- --------------------------------------- - type Unit_Number_Type is new Int; + type Unit_Number_Type is new Int range -1 .. Int'Last; -- Unit number. The main source is unit 0, and subsidiary sources have -- non-zero numbers starting with 1. Unit numbers are used to index the -- Units table in package Lib. |