r237690 - in /trunk/gcc/ada: ChangeLog lib-xref...

[charlet@gcc.gnu.org]

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