From 311014705a3cf42caf7446caa95f4e4a34fce9be Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 12 Nov 2015 12:38:28 +0100 Subject: [multiple changes] 2015-11-12 Gary Dismukes * exp_ch5.adb, sem_ch3.adb, exp_util.ads, inline.adb, freeze.adb, sem_util.adb, sem_util.ads, par-ch6.adb, sem_elab.adb: Minor reformatting and a typo fix. 2015-11-12 Ed Schonberg * sem_ch12.adb (Preanalyze_Actuals): Add guard on use of Incomplete_Actuals, which are only stored for a package instantiation, in order to place the instance in the body of the enclosing unit. 2015-11-12 Ed Schonberg * exp_intr.adb: Add legality checks on calls to a Generic_Dispatching_Constructor: the given tag must be defined, it cannot be the tag of an abstract type, and its accessibility level must not be greater than that of the constructor. 2015-11-12 Ed Schonberg * sem_ch4.adb (Try_Container_Indexing, Constant_Indexing_OK): If the context is an overloaded call, assume that Constant_Indexing is not OK if an interpretation has an assignable parameter corresponding to the indexing expression. 2015-11-12 Jerome Lambourg * init.c (__gnat_error_handler): Force the SPE bit of the MSR when executing on e500v2 CPU. 2015-11-12 Hristian Kirtchev * sem_prag.adb (Analyze_Constituent): Stop the analysis after detecting a misplaced constituent as this is a critical error. From-SVN: r230239 --- gcc/ada/sem_elab.adb | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'gcc/ada/sem_elab.adb') diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb index bab845d..cd9d5b6 100644 --- a/gcc/ada/sem_elab.adb +++ b/gcc/ada/sem_elab.adb @@ -599,7 +599,7 @@ package body Sem_Elab is Is_DIC_Proc : Boolean := False; -- Flag set when the call denotes the Default_Initial_Condition - -- procedure of a private type which wraps a non-trivila assertion + -- procedure of a private type that wraps a nontrivial assertion -- expression. Issue_In_SPARK : Boolean; @@ -971,13 +971,13 @@ package body Sem_Elab is return; end if; - Is_DIC_Proc := Is_Non_Trivial_Default_Init_Cond_Procedure (Ent); + Is_DIC_Proc := Is_Nontrivial_Default_Init_Cond_Procedure (Ent); -- Elaboration issues in SPARK are reported only for source constructs - -- and for non-trivial Default_Initial_Condition procedures. The latter + -- and for nontrivial Default_Initial_Condition procedures. The latter -- must be checked because the default initialization of an object of a -- private type triggers the evaluation of the Default_Initial_Condition - -- expression which in turn may have side effects. + -- expression, which in turn may have side effects. Issue_In_SPARK := SPARK_Mode = On and (Comes_From_Source (Ent) or Is_DIC_Proc); -- cgit v1.1