From f307415a69fd804205368c98a57138d6753636ee Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 15 Mar 2012 09:44:33 +0100 Subject: [multiple changes] 2012-03-15 Ed Falis * s-vxwork-ppc.ads: Update copyright. 2012-03-15 Robert Dewar * sem_ch5.adb: Minor reformatting. 2012-03-15 Ed Schonberg * exp_ch3.adb (Expand_N_Object_Declaration): When rewriting the declaration of a class-wide object, retain the Ekind to prevent subsequent misuse of constants. 2012-03-15 Yannick Moy * gnat_rm.texi, gnat_ugn.texi: Minor correction of invariant terminology. 2012-03-15 Hristian Kirtchev * exp_util.adb (Initialized_By_Ctrl_Function): Add code to process the case when a function call appears in object.operation format. 2012-03-15 Ed Schonberg * sem_ch6.ads, sem_ch6.adb (Check_Subtype_Conformant): add Get_Inst formal, so that conformance within an instantiation follows renamings of formals. This is similar to what is already done in Check_Mode_conformant. * sem_ch12.adb (Vailidate_Access_Subprogram_Instance): check that formal and actual are subtype conformant. Previously only mode conformance was required. From-SVN: r185410 --- gcc/ada/sem_ch5.adb | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'gcc/ada/sem_ch5.adb') diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index 5a4e4c9..834d2f1 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -2087,10 +2087,9 @@ package body Sem_Ch5 is Check_Controlled_Array_Attribute (DS); - -- The index is not processed during the analysis of a - -- quantified expression but delayed to its expansion where the - -- quantified expression is transformed into an expression with - -- actions. + -- The index is not processed during analysis of a quantified + -- expression but delayed to its expansion where the quantified + -- expression is transformed into an expression with actions. if Nkind (Parent (N)) /= N_Quantified_Expression or else Operating_Mode = Check_Semantics -- cgit v1.1