This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213322 - in /trunk/gcc/ada: ChangeLog exp_ch3....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 31 Jul 2014 09:33:11 -0000
- Subject: r213322 - in /trunk/gcc/ada: ChangeLog exp_ch3....
Author: charlet
Date: Thu Jul 31 09:33:10 2014
New Revision: 213322
URL: https://gcc.gnu.org/viewcvs?rev=213322&root=gcc&view=rev
Log:
2014-07-31 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Build_Invariant_Procedure): If body of procedure
is already present, nothing to do.
* exp_ch3.adb (Build_Component_Invariant_Call): For an access
component, check whether the access type has an invariant before
checking the designated type.
(Build_Record_Invariant_Proc): Change suffix of generated
name to prevent ambiguity when record type has invariants
in addition to those of components, and two subprograms are
constructed. Consistent with handling of array types.
(Insert_Component_Invariant_Checks): Build invariant procedure
body when one has not been created yet, in the case of composite
types that are completions and whose full declarations carry
invariants.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_ch3.adb
trunk/gcc/ada/sem_ch13.adb