projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4038c49) | patch
fold-const.c (tree_expr_nonnegative_p): Only return true for ABS_EXPR when flag_wrapv...
authorJames A. Morrison <phython@gcc.gnu.org>
Wed, 20 Jul 2005 03:30:58 +0000 (03:30 +0000)
committerJames A. Morrison <phython@gcc.gnu.org>
Wed, 20 Jul 2005 03:30:58 +0000 (03:30 +0000)
commit1ade5842af034a0f4e9d606b17ee3ea64375d78a
tree1deede4acfc6d0df887b5c1c33abf9c83e1ea611tree
parent4038c495fc9685efdb400b36848627daab979e78commit | diff
fold-const.c (tree_expr_nonnegative_p): Only return true for ABS_EXPR when flag_wrapv is false because of INT_MIN.

2005-07-19  James A. Morrison  <phython@gcc.gnu.org>

        * fold-const.c (tree_expr_nonnegative_p): Only return true for
        ABS_EXPR when flag_wrapv is false because of INT_MIN.
        (tree_expr_nonzero_p): Always call tree_expr_nonzero_p on the argument
        of an ABS_EXPR.
        (fold_unary): Always fold ABS_EXPR<ABS_EXPR<x>> into
        ABS_EXPR<x>.

From-SVN: r102184
gcc/ChangeLog diff | blob | history
gcc/fold-const.c diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/fold-abs-1.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/fold-abs-2.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/fold-abs-3.c [new file with mode: 0644] blob