diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 11:52:02 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 11:52:02 +0200 |
| commit | af6478c843c106281461ed5fd93377e61716181d (patch) | |
| tree | 63e29bd63d423dfadd88c517110f7a00b8a02086 /gcc/ada/checks.adb | |
| parent | e943fe8a6ae5d1b5f1f82825145cbd4e7c764405 (diff) | |
| download | gcc-af6478c843c106281461ed5fd93377e61716181d.zip gcc-af6478c843c106281461ed5fd93377e61716181d.tar.gz gcc-af6478c843c106281461ed5fd93377e61716181d.tar.bz2 | |
[multiple changes]
2014-08-04 Arnaud Charlet <charlet@adacore.com>
* exp_util.adb (Check_Float_Op_Overflow): No-op in codepeer
mode for now, to revert to previous behavior.
* checks.adb: Revert previous change, no longer needed.
2014-08-04 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Don't set
Check_Float_Overflow if Machine_Oveflows_On_Target is True.
* sem_prag.adb (Analyze_Pragma, case Check_Float_Overflow): Don't
set Check_Float_Overflow if Machine_Oveflows_On_Target is True.
* switch-c.adb (Scan_Front_End_Switches): Don't set
Check_Float_Overflow if Machine_Oveflows_On_Target is True.
2014-08-04 Vincent Celier <celier@adacore.com>
* prj-attr.adb: Add new default indications for
attributes Object_Dir, Exec_Dir, Source_Dirs and Target.
(Attribute_Default_Of): New function (Initialize): Set the
default for those attributes that have one specified.
* prj-attr.ads (Attribute_Data): New component Default.
* prj-proc.adb (Expression): Take into account the new defaults
for attributes Object_Dir, Exec_Dir and Source_Dirs.
* prj-strt.adb (Attribute_Reference): Set the default for
the attribute.
* prj-tree.ads, prj-tree.adb (Default_Of): New function.
(Set_Default_Of): New procedure.
* prj.adb (The_Dot_String): New global Name_Id variable,
initialized in procedure Initialize.
(Dot_String): New function
(Initialize): Initialize The_Dot_String.
(Reset): Create the string list Shared.Dot_String_List.
* prj.ads (Attribute_Default_Value): New enumeration type.
(Project_Qualifier): Change enumeration value Dry to Abstract_Project.
(Dot_String): New function.
(Shared_Project_Tree_Data): New string list component Dot_String_List.
* projects.texi: Document new defaults for attribute Object_Dir,
Exec_Dir and Source_Dirs.
From-SVN: r213548
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index cddd15a..0b934eb 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -9214,7 +9214,6 @@ package body Checks is Wnode : Node_Id := Warn_Node; Ret_Result : Check_Result := (Empty, Empty); Num_Checks : Integer := 0; - Reason : RT_Exception_Code := CE_Range_Check_Failed; procedure Add_Check (N : Node_Id); -- Adds the action given to Ret_Result if N is non-Empty @@ -9836,16 +9835,6 @@ package body Checks is else if not In_Subrange_Of (S_Typ, T_Typ) then Cond := Discrete_Expr_Cond (Ck_Node, T_Typ); - - -- Special case CodePeer_Mode and apparently redundant checks on - -- floating point types: these are used as overflow checks, see - -- Exp_Util.Check_Float_Op_Overflow. - - elsif CodePeer_Mode and then Check_Float_Overflow - and then Is_Floating_Point_Type (S_Typ) - then - Cond := Discrete_Expr_Cond (Ck_Node, T_Typ); - Reason := CE_Overflow_Check_Failed; end if; end if; end if; @@ -10040,7 +10029,7 @@ package body Checks is Add_Check (Make_Raise_Constraint_Error (Loc, Condition => Cond, - Reason => Reason)); + Reason => CE_Range_Check_Failed)); end if; return Ret_Result; |