This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r237690 - in /trunk/gcc/ada: ChangeLog lib-xref...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 22 Jun 2016 10:31:47 -0000
- Subject: r237690 - in /trunk/gcc/ada: ChangeLog lib-xref...
Author: charlet
Date: Wed Jun 22 10:31:47 2016
New Revision: 237690
URL: https://gcc.gnu.org/viewcvs?rev=237690&root=gcc&view=rev
Log:
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.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/lib-xref-spark_specific.adb
trunk/gcc/ada/lib-xref.ads
trunk/gcc/ada/spark_xrefs.ads
trunk/gcc/ada/types.ads