mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-21 23:51:18 +08:00
Code Issues Packages Projects Releases Wiki Activity

(make_range, comparison cases): When making range for unsigned to

Browse Source 
merge in, use full range.

From-SVN: r13027
This commit is contained in:
Richard Kenner 1996-10-24 09:10:37 -04:00
parent 70e7fabe9e
commit 7f423031c0
1 changed files with 11 additions and 6 deletions

17
gcc/fold-const.c

@ -2757,15 +2757,20 @@ make_range (exp, pin_p, plow, phigh)
exp = arg0;
/* If this is an unsigned comparison, we also know that EXP
is greater than or equal to zero. We base the range tests
we make on that fact, so we record it here so we can parse
existing range tests. */
if (TREE_UNSIGNED (type))
/* If this is an unsigned comparison, we also know that EXP is
greater than or equal to zero and less than the maximum value of
the unsigned type. We base the range tests we make on that fact,
so we record it here so we can parse existing range tests. */
if (TREE_UNSIGNED (type) && (low == 0 || high == 0))
{
if (! merge_ranges (&n_in_p, &n_low, &n_high, in_p, low, high,
1, convert (type, integer_zero_node),
NULL_TREE))
const_binop (MINUS_EXPR,
convert (type,
integer_zero_node),
convert (type,
integer_one_node),
0)))
break;
in_p = n_in_p, low = n_low, high = n_high;