diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-13 12:18:11 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-13 12:18:11 +0200 |
commit | 0083dd669163646b53f80d35dc3c57e403ba7637 (patch) | |
tree | 4d83aa0d07ee44d2aa76746150ffeb18efd2486d /gcc/ada/checks.adb | |
parent | 890f1954eda1d56f49006a75594a1b960eec96e1 (diff) | |
download | gcc-0083dd669163646b53f80d35dc3c57e403ba7637.zip gcc-0083dd669163646b53f80d35dc3c57e403ba7637.tar.gz gcc-0083dd669163646b53f80d35dc3c57e403ba7637.tar.bz2 |
[multiple changes]
2014-06-13 Eric Botcazou <ebotcazou@adacore.com>
* checks.adb (Apply_Address_Clause_Check): Only issue the new
warning if the propagation warning is issued.
2014-06-13 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb: Minor reformatting.
2014-06-13 Robert Dewar <dewar@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference, case Pred):
Handle float range check case (Expand_N_Attribute_Reference,
case Succ): Handle float range check case.
* sem_attr.adb (Analyze_Attribute, case Pred/Succ): Handle float
range check case.
2014-06-13 Vincent Celier <celier@adacore.com>
* makeutl.ads (Compute_Builder_Switches): Change name of
parameter Root_Environment to Env.
* prj-conf.adb (Check_Switches): Call Locate_Runtime with the
Env parameter of procedure Get_Or_Create_Configuration_File.
(Locate_Runtime): Call Find_Rts_In_Path with the Project_Path
of new parameter Env.
* prj-conf.ads (Locate_Runtime): New parameter Env of type
Prj.Tree.Environment.
2014-06-13 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Minor comment clarification for Check_Float_Overflow.
From-SVN: r211623
Diffstat (limited to 'gcc/ada/checks.adb')
-rw-r--r-- | gcc/ada/checks.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 315b076..66c0d91 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -767,6 +767,7 @@ package body Checks is if Nkind (First (Actions (N))) = N_Raise_Program_Error and then not Warnings_Off (E) + and then Warn_On_Non_Local_Exception and then Restriction_Active (No_Exception_Propagation) then Error_Msg_N |