diff options
author | Marek Polacek <polacek@redhat.com> | 2013-04-25 15:51:57 +0000 |
---|---|---|
committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2013-04-25 15:51:57 +0000 |
commit | ea28bb0b9da3f70832bb599b298f2ae019b83a15 (patch) | |
tree | e3d276f447b6fd69f6286da14e514a8a6e73b76f /gcc/builtins.c | |
parent | 96659611d2076dbae333a6a85ca55da7b0a32298 (diff) | |
download | gcc-ea28bb0b9da3f70832bb599b298f2ae019b83a15.zip gcc-ea28bb0b9da3f70832bb599b298f2ae019b83a15.tar.gz gcc-ea28bb0b9da3f70832bb599b298f2ae019b83a15.tar.bz2 |
re PR tree-optimization/57066 (std::logb(-inf) returns wrong value)
PR tree-optimization/57066
* builtins.c (fold_builtin_logb): Return +Inf for -Inf.
* gcc.dg/torture/builtin-logb-1.c: Adjust testcase.
From-SVN: r198308
Diffstat (limited to 'gcc/builtins.c')
-rw-r--r-- | gcc/builtins.c | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gcc/builtins.c b/gcc/builtins.c index efab82e..1fbd2f3 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c @@ -9698,7 +9698,16 @@ fold_builtin_logb (location_t loc, tree arg, tree rettype) case rvc_inf: /* If arg is Inf or NaN and we're logb, return it. */ if (TREE_CODE (rettype) == REAL_TYPE) - return fold_convert_loc (loc, rettype, arg); + { + /* For logb(-Inf) we have to return +Inf. */ + if (real_isinf (value) && real_isneg (value)) + { + REAL_VALUE_TYPE tem; + real_inf (&tem); + return build_real (rettype, tem); + } + return fold_convert_loc (loc, rettype, arg); + } /* Fall through... */ case rvc_zero: /* Zero may set errno and/or raise an exception for logb, also |