From 1240b98d131e91e8bc8080ec89b8ba36936cff87 Mon Sep 17 00:00:00 2001 From: charlet Date: Fri, 23 Oct 2015 10:43:30 +0000 Subject: 2015-10-23 Hristian Kirtchev * exp_ch7.adb (Process_Transient_Objects): Reimplement to properly handle restriction No_Exception_Propagation. * exp_ch11.adb (Expand_At_End_Handler): Update the parameter profile and all references to Block. * exp_ch11.ads (Expand_At_End_Handler): Update the parameter profile and comment on usage. * exp_intr.adb (Expand_Unc_Deallocation): Reimplement to properly handle restriction No_Exception_Propagation. * gnat1drv.adb, restrict.adb: Update comment. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229227 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/gnat1drv.adb | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'gcc/ada/gnat1drv.adb') diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 2284caf8c90..bd3af2ef271 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -378,10 +378,7 @@ procedure Gnat1drv is Optimization_Level := 0; -- Enable some restrictions systematically to simplify the generated - -- code (and ease analysis). Note that restriction checks are also - -- disabled in SPARK mode, see Restrict.Check_Restriction, and user - -- specified Restrictions pragmas are ignored, see - -- Sem_Prag.Process_Restrictions_Or_Restriction_Warnings. + -- code (and ease analysis). Restrict.Restrictions.Set (No_Initialize_Scalars) := True; -- cgit v1.2.1