re PR tree-optimization/22026 (ACATS FAIL C45331A fixed point wrong code (VRP related))
authorKazu Hirata <kazu@codesourcery.com>
Sun, 26 Jun 2005 03:49:20 +0000 (03:49 +0000)
committerKazu Hirata <kazu@gcc.gnu.org>
Sun, 26 Jun 2005 03:49:20 +0000 (03:49 +0000)
commit567fb6602c70e0c7341a0b1a39b017419669027b
tree46e58ccdccdc24fd647e7fd019278bafcdc726f2
parente4ca1c958e931abb30c966f04baa565f21bdf14f
re PR tree-optimization/22026 (ACATS FAIL C45331A fixed point wrong code (VRP related))

gcc/
PR tree-optimization/22026
* tree-vrp.c (extract_range_from_binary_expr): Drop to
VR_VARYING if a binary expression involving VR_ANTI_RANGE is
PLUS_EXPR, MINUS_EXPR, or unsigned MULT_EXPR.

testsuite/
PR tree-optimization/22026
* gcc.dg/tree-ssa/pr22026.c: New.

From-SVN: r101328
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/pr22026.c [new file with mode: 0644]
gcc/tree-vrp.c