diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2015-05-26 20:42:20 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2015-05-26 20:42:20 +0000 |
| commit | 89d5c50bd125f14c416700f19a4cc963599e9428 (patch) | |
| tree | d94333e02a27842df2cfb2ef090a3928edc46d61 | |
| parent | 545b492365b7ce6270d739c3ad88b05c51d4aeab (diff) | |
| download | gcc-89d5c50bd125f14c416700f19a4cc963599e9428.zip gcc-89d5c50bd125f14c416700f19a4cc963599e9428.tar.gz gcc-89d5c50bd125f14c416700f19a4cc963599e9428.tar.bz2 | |
trans.c (Attribute_to_gnu): Do not bother about NaN's if Machine_Overflows is true.
* gcc-interface/trans.c (Attribute_to_gnu) <Attr_Min/Attr_Max>: Do not
bother about NaN's if Machine_Overflows is true.
From-SVN: r223717
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/trans.c | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index dcb4620..b6e11e1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 2015-05-26 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Min/Attr_Max>: Do not + bother about NaN's if Machine_Overflows is true. + +2015-05-26 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/trans.c (gnat_to_gnu) <N_Object_Declaration>: Really force evaluation of the expression, if any, when the object has its elaboration delayed. Do not create a variable at global level. diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 8efa59d..7fc8a5c 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -2283,7 +2283,8 @@ Attribute_to_gnu (Node_Id gnat_node, tree *gnu_result_type_p, int attribute) a NaN so we implement the semantics of C99 f{min,max} to make it predictable in this case: if either operand is a NaN, the other is returned; if both operands are NaN's, a NaN is returned. */ - if (SCALAR_FLOAT_TYPE_P (gnu_result_type)) + if (SCALAR_FLOAT_TYPE_P (gnu_result_type) + && !Machine_Overflows_On_Target) { const bool lhs_side_effects_p = TREE_SIDE_EFFECTS (gnu_lhs); const bool rhs_side_effects_p = TREE_SIDE_EFFECTS (gnu_rhs); |