r124767 - in /branches/gcc-4_1-branch/gcc: Chan...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Wed May 16 11:57:09 2007
New Revision: 124767

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=124767
Log:
2007-05-16  Richard Guenther  <rguenther@suse.de>
       
        Backport from mainline:
        2006-06-09  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/26998
        * tree-vrp.c (extract_range_from_unary_expr): For NEGATE_EXPR
        of signed types, only TYPE_MIN_VALUE is special, but for both,
        minimum and maximum value.  Likewise VR_ANTI_RANGE is special
        in this case, as is -fwrapv.

        * gcc.dg/torture/pr26998.c: New testcase.
        * gcc.dg/tree-ssa/vrp29.c: New testcase.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/torture/pr26998.c
      - copied unchanged from r114507, trunk/gcc/testsuite/gcc.dg/torture/pr26998.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/vrp29.c
      - copied unchanged from r114507, trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp29.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/tree-vrp.c