diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-11 11:46:54 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-11 11:46:54 +0200 |
| commit | 303fbb20de25887e87f259cef49db64b51a7db0e (patch) | |
| tree | 39f53e685d07ad7a16d3eb13e84b0b610214212a /gcc/ada/gnat1drv.adb | |
| parent | 165bdb4b49c8c03ccc7b83c7bb216b6494754199 (diff) | |
| download | gcc-303fbb20de25887e87f259cef49db64b51a7db0e.zip gcc-303fbb20de25887e87f259cef49db64b51a7db0e.tar.gz gcc-303fbb20de25887e87f259cef49db64b51a7db0e.tar.bz2 | |
[multiple changes]
2013-04-11 Arnaud Charlet <charlet@adacore.com>
* debug.adb, sem_prag.adb, par-ch2.adb, sem_attr.adb, gnat1drv.adb,
exp_disp.adb, opt.ads, sem_ch13.adb (Relaxed_RM_Semantics): New flag.
Enable this flag in CodePeer mode, and also via -gnatd.M.
Replace some uses of CodePeer_Mode by Relaxed_RM_Semantics.
2013-04-11 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Check_Constrained_Object): If a subtype is created
from the renamed object in an object renaming declaration with
an unconstrained nominal subtype, freeze the created subtype at
once, to prevent order of elaboration issues in the backend.
2013-04-11 Arnaud Charlet <charlet@adacore.com>
* exp_aggr.adb (Aggr_Size_OK): Refine setting of Max_Aggr_Size
in particular in CodePeer mode.
2013-04-11 Vincent Celier <celier@adacore.com>
* gnat_ugn.texi: Add documentation for backup copies of project
files for gnatname.
From-SVN: r197751
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 4cfc339..2680b4f 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -110,11 +110,10 @@ procedure Gnat1drv is procedure Adjust_Global_Switches is begin - -- Debug flag -gnatd.I is a synonym for Generate_SCIL and requires code - -- generation. + -- -gnatd.M enables Relaxed_RM_Semantics - if Debug_Flag_Dot_II and then Operating_Mode = Generate_Code then - Generate_SCIL := True; + if Debug_Flag_Dot_MM then + Relaxed_RM_Semantics := True; end if; -- Disable CodePeer_Mode in Check_Syntax, since we need front-end @@ -275,6 +274,13 @@ procedure Gnat1drv is Force_ALI_Tree_File := True; Try_Semantics := True; + + -- Make the Ada front-end more liberal to support other Ada compilers + Relaxed_RM_Semantics := True; + end if; + + if Relaxed_RM_Semantics then + Overriding_Renamings := True; end if; -- Set switches for formal verification mode |