projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 099f36a) | patch
re PR tree-optimization/23128 (VRP fails for unsigned values)
authorJames A. Morrison <phython@gcc.gnu.org>
Sat, 6 Aug 2005 05:35:31 +0000 (05:35 +0000)
committerJames A. Morrison <phython@gcc.gnu.org>
Sat, 6 Aug 2005 05:35:31 +0000 (05:35 +0000)
commitb17775aba4c709c1fc3f19af33d50b025e3891f4
tree2e47c97b535d7d1d721621ee6339c61536de7863tree
parent099f36ab8c55844ae47def2f3cacaef7d006d441commit | diff
re PR tree-optimization/23128 (VRP fails for unsigned values)

2005-08-05  James A. Morrison  <phython@gcc.gnu.org>

        PR tree-optimization/23128
        * tree-vrp.c (vrp_int_const_binop): Check if unsigned addition or
        subtraction wrap, and set TREE_OVERFLOW if they do.

From-SVN: r102800
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.c-torture/execute/vrp-5.c [new file with mode: 0644] blob
gcc/testsuite/gcc.c-torture/execute/vrp-6.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/tree-ssa/vrp21.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history