Skip to content

R
riscv-gcc-1
Commit fca59ed2 by Michael Matz Committed by Michael Matz
Options

* tree-vrp.c (vrp_int_const_binop <MINUS_EXPR>): Handle 0 - -INF. 

From-SVN: r104298
parent fd312e90
Showing with 8 additions and 2 deletions
gcc/ChangeLog
2005-09-15 Michael Matz <matz@suse.de>
* tree-vrp.c (vrp_int_const_binop <MINUS_EXPR>): Handle 0 - -INF.
2005-09-14 Daniel Berlin <dberlin@dberlin.org>
PR tree-optimization/23835
......
gcc/tree-vrp.c
......@@ -956,8 +956,10 @@ vrp_int_const_binop (enum tree_code code, tree val1, tree val2)
/* For subtraction, the operands must be of different
signs to yield an overflow. Its sign is therefore
that of the first operand or the opposite of that
of the second operand. */
|| (code == MINUS_EXPR && sgn1 > 0)
of the second operand. A first operand of 0 counts
as positive here, for the corner case 0 - (-INF),
which overflows, but must yield +INF. */
|| (code == MINUS_EXPR && sgn1 >= 0)
/* For division, the only case is -INF / -1 = +INF. */
|| code == TRUNC_DIV_EXPR
|| code == FLOOR_DIV_EXPR
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment