From 596f71394dcedd06ce87e4e7499168aba92d4c7c Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 20 Nov 2014 16:17:47 +0100 Subject: [multiple changes] 2014-11-20 Robert Dewar * s-tassta.adb, exp_aggr.adb, s-taskin.adb, exp_strm.adb: Minor reformatting. * comperr.adb (Compiler_Abort): New wording for bug box. * par-ch13.adb: Minor reformatting. * par-ch3.adb (P_Identifier_Declarations): Handle aspect specifications given before initialization expression in object declaration cleanly. * gnat1drv.adb (Adjust_Global_Switches): Make sure static elaboration mode is set if we are operating in SPARK mode. * sem_ch12.adb (Analyze_Package_Instantiation): Make sure static elab mode is set if we are in SPARK mode. (Analyze_Subprogram_Instantiation): ditto. (Set_Instance_Env): ditto. * sem_elab.adb (Check_A_Call): In SPARK mode, we require Elaborate_All in the case of a call during elaboration to a subprogram in another unit. 2014-11-20 Ed Schonberg * inline.adb (Can_Split_Unconstrained_Function, Build_Procedure): Copy parameter type rather than creating reference to the entity, to capture class-wide reference, whose name is not retrieved by visibility. From-SVN: r217874 --- gcc/ada/gnat1drv.adb | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'gcc/ada/gnat1drv.adb') diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index cd6b6f4..81eb639 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -368,11 +368,8 @@ procedure Gnat1drv is Suppress_Options.Suppress := (others => False); - -- Turn off dynamic elaboration checks: generates inconsistencies in - -- trees between specs compiled as part of a main unit or as part of - -- a with-clause. - - -- Comment is incomplete, SPARK semantics rely on static mode no??? + -- Turn off dynamic elaboration checks. SPARK mode depends on the + -- use of the static elaboration mode. Dynamic_Elaboration_Checks := False; -- cgit v1.1