diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-10 15:15:20 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-10 15:15:20 +0000 |
| commit | ed3c9510f9f726e0d8599bc201ee468875e29fbc (patch) | |
| tree | 3d437a8310cffd03bf4ed49d69d9394c39592727 /gcc/ada/gnat1drv.adb | |
| parent | b855559d609469c4253a9173c2ad9fd4fb6f59db (diff) | |
| download | gcc-ed3c9510f9f726e0d8599bc201ee468875e29fbc.tar.gz | |
2013-09-10 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Warnings): Don't allow
REASON parameter in compiler units (bootstrap issues).
2013-09-10 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Output warning if
-gnateE specified for a target that does not support it.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@202463 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 21 |
1 files changed, 18 insertions, 3 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index fa959df7407..b0e3087508f 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -242,7 +242,7 @@ procedure Gnat1drv is -- Enable assertions, since they give CodePeer valuable extra info - Assertions_Enabled := True; + Assertions_Enabled := True; -- Disable all simple value propagation. This is an optimization -- which is valuable for code optimization, and also for generation @@ -413,10 +413,10 @@ procedure Gnat1drv is -- which is more complex to formally verify than the original source. Tagged_Type_Expansion := False; - end if; - -- Set Configurable_Run_Time mode if system.ads flag set + -- Set Configurable_Run_Time mode if system.ads flag set or if the + -- special debug flag -gnatdY is set. if Targparm.Configurable_Run_Time_On_Target or Debug_Flag_YY then Configurable_Run_Time_Mode := True; @@ -571,6 +571,21 @@ procedure Gnat1drv is end if; end if; + -- Output warning if -gnateE specified and cannot be supported + + if Exception_Extra_Info + and then Restrict.No_Exception_Handlers_Set + then + Set_Standard_Error; + Write_Str + ("warning: extra exception information (-gnateE) was specified"); + Write_Eol; + Write_Str + ("warning: this capability is not available in this configuration"); + Write_Eol; + Set_Standard_Output; + end if; + -- Finally capture adjusted value of Suppress_Options as the initial -- value for Scope_Suppress, which will be modified as we move from -- scope to scope (by Suppress/Unsuppress/Overflow_Checks pragmas). |