mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-27 12:01:06 +08:00
Code Issues Packages Projects Releases Wiki Activity

fold-const.c (make_range, [...]): Correct normalization of an unsigned range that wraps around zero.

Browse Source 
* fold-const.c (make_range, case PLUS_EXPR): Correct
        normalization of an unsigned range that wraps around zero.

From-SVN: r13089
This commit is contained in:
Jeff Law 1996-10-31 20:10:33 -07:00
parent 273dbe6785
commit 3c00684e55
1 changed files with 9 additions and 3 deletions

12
gcc/fold-const.c

@ -2814,10 +2814,16 @@ make_range (exp, pin_p, plow, phigh)
|| (n_high != 0 && TREE_OVERFLOW (n_high)))
break;
/* Check for a range which has wrapped around the maximum value
thus making n_high < n_low. Normalize any such range it. */
/* Check for an unsigned range which has wrapped around the maximum
value thus making n_high < n_low, and normalize it. */
if (n_low && n_high && tree_int_cst_lt (n_high, n_low))
low = n_high, high = n_low, in_p = ! in_p;
{
low = range_binop (PLUS_EXPR, type, n_high, 0,
convert (type, integer_one_node), 0);
high = range_binop (MINUS_EXPR, type, n_low, 0,
convert (type, integer_one_node), 0);
in_p = ! in_p;
}
else
low = n_low, high = n_high;