r237684 - in /trunk/gcc/ada: ChangeLog exp_ch7....

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jun 22 09:51:47 2016
New Revision: 237684

URL: https://gcc.gnu.org/viewcvs?rev=237684&root=gcc&view=rev
Log:
2016-06-22  Hristian Kirtchev  <kirtchev@adacore.com>

	* exp_ch7.adb (Add_Invariant): Replace the
	current type instance with the _object parameter even in ASIS mode.
	(Build_Invariant_Procedure_Body): Do not insert the
	invariant procedure body into the tree for ASIS and GNATprove.
	(Build_Invariant_Procedure_Declaration): Do not insert the
	invariant procedure declaration into the tree for ASIS and
	GNATprove.
	* lib-xref-spark_specific.adb (Add_SPARK_Scope): Update comment.

2016-06-22  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb (Set_Actual_Subtypes): If the type of the actual
	has predicates, the actual subtype must be frozen properly
	because of the generated tests that may follow.  The predicate
	may be specified by an explicit aspect, or may be inherited in
	a derivation.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_ch7.adb
    trunk/gcc/ada/lib-xref-spark_specific.adb
    trunk/gcc/ada/sem_ch6.adb