rl_max
if (rl_max(rl).uvalue < 32)
if (rl_max(rl).value != 1)
*sval = rl_max(rl);
if (array_size > rl_max(abs_rl).uvalue)
max = rl_max(user_rl);
max = rl_max(abs_rl);
sval_cmp(rl_max(implied_rl), *sval) < 0)
*sval = rl_max(implied_rl);
sval_cmp(rl_max(implied_rl), *sval) < 0)
*sval = rl_max(implied_rl);
if (rl_max(rl).uvalue > sval_type_max(rl_type(rl)).uvalue - 4 &&
if (rl_min(rl).value == 0 && rl_max(rl).value == 0)
is_err_ptr(rl_max(rl)))
*sval = rl_max(rl);
if (rl_max(rl).uvalue < array_size)
max.uvalue = rl_max(orig).uvalue;
if (get_implied_rl(expr, &rl) && rl_max(rl).value != 0)
*res = alloc_rl(sval_type_val(rl_type(rl), 0), rl_max(rl));
ret->possible = sval_fls_mask(rl_max(rl));
bytes = rl_max(rl);
rl_max(rl).value != UNKNOWN_SIZE ||
rl_max(rl).value == UNKNOWN_SIZE)
left_max = rl_max(left_rl);
right_max = rl_max(right_rl);
if (rl_max(rl).value <= 0)
if (rl_min(rl).value == 0 && rl_max(rl).value == 0) {
if (rl_min(rl).value >= -4095 && rl_max(rl).value < 0)
if (rl_min(rl).value == 0 && rl_max(rl).value == 1)
rl_max(estate_rl(sm->state)).value != 1)
rl_max(rl).value < 0)
*sval = rl_max(estate_rl(state));
return rl_max(estate_rl(state));
return rl_max(estate_rl(state)).type;
max = rl_max(estate_rl(state));
if (sval_cmp(sval_type_max(type), rl_max(rl)) < 0)
add_range(&rl, rl_max(rl), sval_type_max(rl_type(rl)));
rl_max(orig_rl).uvalue > type_bits(get_type(shift->left)))
sval_cmp(max, rl_max(orig_rl)) == 0 &&
if (!sval_is_max(rl_max(true_rl)) &&
!(rl_max(true_rl).value % right.value))
true_rl = remove_range(true_rl, rl_max(true_rl), rl_max(true_rl));
(rl_max(orig_rl).value - rl_min(orig_rl).value) / right.value < 5) {
if (add.value > rl_max(orig_rl).value)
if (!sval_is_max(rl_max(orig_rl)) &&
(rl_max(orig_rl).value % right.value)) {
sval_t chop = rl_max(orig_rl);
false_rl = remove_range(false_rl, chop, rl_max(orig_rl));
rl_max(new).value == valid_ptr_max)
sval_t rl_max(struct range_list *rl);
rl_max(rl).value == -1)
if (sval_cmp(rl_max(left), rl_max(rl)) < 0)
*sval = rl_max(rl);
*sval = rl_max(rl);
max = rl_max(rl);
*sval = rl_max(rl);
if (sval_is_min(rl_min(neg)) && !sval_is_min(rl_max(neg)))
if (!sval_is_negative(rl_max(rl))) {
return sval_is_max(rl_max(rl));
max = rl_max(left_rl);
max = rl_max(left_rl);
max = rl_max(left_rl);
!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) {
tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl));
if (!sval_is_max(rl_max(left_rl))) {
tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl));
rl_max(rl).uvalue < right.uvalue)
right.uvalue = rl_max(rl).uvalue;
max = rl_max(left_rl);
min = sval_binop(min, SPECIAL_RIGHTSHIFT, rl_max(right_rl));
if (sval_binop_overflows(rl_max(left_rl), expr->op, rl_max(right_rl)))
max = sval_binop(rl_max(left_rl), expr->op, rl_max(right_rl));
if (sval_cmp(rl_max(rl), sval_type_max(type)) > 0)
max = rl_max(right);
if (sval_cmp(rl_max(left), max) < 0)
if (sval_is_negative(rl_max(rl)))
right_max = rl_max(right);
max = sval_binop(rl_max(left), '/', right_min);
if (rl_min(left).value != 0 || rl_max(right).value != 0) {
if (sval_binop_overflows(rl_max(left), op, rl_max(right)))
max = sval_binop(rl_max(left), op, rl_max(right));
max = rl_max(left_rl);
max_ll = rl_max(right_rl);
if (!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) {
tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl));
if (!sval_is_max(rl_max(left_rl))) {
tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl));
return sval_fls_mask(rl_max(rl));
!sval_binop_overflows(rl_max(left), '+', rl_max(right)))
max = rl_max(left);
left_true = remove_range(left_orig, rl_max(right_orig), max);
if (!sval_is_max(rl_max(left_orig)))
right_false = remove_range(right_orig, add_one(rl_max(left_orig)), max);
if (!sval_is_max(rl_max(right_orig)))
left_true = remove_range(left_orig, add_one(rl_max(right_orig)), max);
right_false = remove_range(right_orig, rl_max(left_orig), max);
if (sval_cmp(rl_max(left_orig), rl_max(right_orig)) == 0)
right_false = remove_range(right_false, rl_max(left_orig), rl_max(left_orig));
if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0)
if (sval_cmp(rl_min(left_orig), rl_max(left_orig)) == 0)
left_false = remove_range(left_orig, rl_max(right_orig), max);
if (!sval_is_max(rl_max(left_orig)))
right_true = remove_range(right_orig, add_one(rl_max(left_orig)), max);
if (sval_cmp(rl_max(left_orig), rl_max(right_orig)) == 0)
left_false = remove_range(left_false, rl_max(left_orig), rl_max(left_orig));
if (!sval_is_max(rl_max(right_orig)))
left_false = remove_range(left_orig, add_one(rl_max(right_orig)), max);
right_true = remove_range(right_orig, rl_max(left_orig), max);
if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0)
if (sval_cmp(rl_min(left_orig), rl_max(left_orig)) == 0)
ret_rl = remove_range(left_orig, rl_max(right_orig), max);
if (!sval_is_max(rl_max(right_orig)))
ret_rl = remove_range(left_orig, add_one(rl_max(right_orig)), max);
if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0)
max = rl_max(rl);
max = rl_max(rl);