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

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon May  2 10:00:00 2016
New Revision: 235731

URL: https://gcc.gnu.org/viewcvs?rev=235731&root=gcc&view=rev
Log:
2016-05-02  Arnaud Charlet  <charlet@adacore.com>

	* spark_xrefs.ads Description of the spark cross-references
	clarified; small style fixes.
	* lib-xref-spark_specific.adb (Add_SPARK_Scope,
	Detect_And_Add_SPARK_Scope): consider protected types and bodies
	as yet another scopes.
	(Enclosing_Subprogram_Or_Library_Package): refactored using
	Hristian's suggestions; added support for scopes of protected
	types and bodies; fix for entries to return the scope of the
	enclosing concurrent type, which is consistent with what is
	returned for protected subprograms.
	* sem_intr.adb: Minor style fix in comment.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/lib-xref-spark_specific.adb
    trunk/gcc/ada/sem_intr.adb
    trunk/gcc/ada/spark_xrefs.ads