This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r237684 - in /trunk/gcc/ada: ChangeLog exp_ch7....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 22 Jun 2016 09:51:47 -0000
- Subject: r237684 - in /trunk/gcc/ada: ChangeLog exp_ch7....
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