re PR tree-optimization/22493 (with -fwrapv -INT_MIN is still not positive)
authorJames A. Morrison <phython@gcc.gnu.org>
Thu, 28 Jul 2005 04:35:01 +0000 (04:35 +0000)
committerJames A. Morrison <phython@gcc.gnu.org>
Thu, 28 Jul 2005 04:35:01 +0000 (04:35 +0000)
commitff08cbee5d5465c88852dbb3cff344c45d98c95e
treef1a698467d1c1cf4ac02bddd1b2e54447cb91aaf
parentb089e33adcdb287020bbc1294df6bebf6701025b
re PR tree-optimization/22493 (with -fwrapv -INT_MIN is still not positive)

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

        PR tree-optimization/22493
        * tree-vrp.c (extract_range_from_unary_expr): Deal with -fwrapv and
        VR_ANTI_RANGEs properly for NEGATE_EXPRs and ABS_EXPRs.

From-SVN: r102458
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/pr22493-1.c [new file with mode: 0644]
gcc/testsuite/gcc.c-torture/execute/pr22493-1.x [new file with mode: 0644]
gcc/testsuite/gcc.c-torture/execute/vrp-1.c [new file with mode: 0644]
gcc/testsuite/gcc.c-torture/execute/vrp-2.c [new file with mode: 0644]
gcc/testsuite/gcc.c-torture/execute/vrp-3.c [new file with mode: 0644]
gcc/tree-vrp.c