sval_type_max
sval_t min = sval_type_max(&llong_ctype);
if (rl_max(rl).uvalue > sval_type_max(rl_type(rl)).uvalue - 4 &&
max = sval_type_max(get_type(expr->right));
max = sval_type_max(get_type(expr->left));
max = sval_type_max(sym);
if (type && sval_type_max(type).uvalue < max.uvalue)
max = sval_type_max(type);
sval_t sval_type_max(struct symbol *base_type);
max = sval_type_max(&ptr_ctype);
if (max.uvalue > sval_type_max(&ptr_ctype).uvalue - offset) {
remove = sval_type_max(&ptr_ctype);
if (sval_cmp(sval_type_max(type), rl_max(rl)) < 0)
add_range(&rl, rl_max(rl), sval_type_max(rl_type(rl)));
max = sval_type_max(max.type);
false_rl = remove_range(false_rl, low_mask, sval_type_max(known.type));
sval_type_val(rl_type(false_rl), sval_type_max(known.type).uvalue),
add_range(&filter, size, sval_type_max(offset_type));
valid_ptr_max = sval_type_max(&ulong_ctype).value & ~(MTAG_OFFSET_MASK);
if (sval_cmp(res, sval_type_max(type)) > 0)
sval_t max = sval_type_max(rl_type(rl));
*sval = sval_type_max(type);
if (sval_cmp(sval_type_max(type), *sval) < 0)
*sval = sval_type_max(type);
pos = alloc_rl(zero, sval_type_max(type));
max = sval_type_max(get_type(expr->left));
max = sval_type_max(max.type);
if (neg <= sval_type_max(type).uvalue)
if (sval.value > sval_type_max(type).value)
if (sval.uvalue > sval_type_max(type).uvalue)
if (sval_cmp(rl_max(rl), sval_type_max(type)) > 0)
add_range(rl, sval_type_min(type), sval_type_max(type));
add_range(rl, sval_type_min(type), sval_type_max(type));
max = sval_type_max(type);
if (min.value == 0 || max.value > sval_type_max(max.type).uvalue >> shift.uvalue)
add_range(rl, sval_cast(type, min), sval_type_max(type));
if (sval_type_max(rl_type(left)).uvalue < sval_type_max(rl_type(right)).uvalue)
if (sval_type_max(cast_type).uvalue < INT_MAX)
max = sval_type_max(rl_type(left_orig));
ret = sval_type_max(type);
if (sval_type_max(rl_type(left_orig)).uvalue < sval_type_max(rl_type(right_orig)).uvalue)
if (sval_type_max(cast_type).uvalue < INT_MAX)
max = sval_type_max(cast_type);
ret = sval_type_max(type);
max = sval_type_max(type);
max = sval_type_max(type);
max = sval_type_max(type);
max = sval_type_max(type);
max = sval_type_max(type);
sval_to_str(sval_type_max(prev_drange->min.type)));
return alloc_rl(sval_type_min(type), sval_type_max(type));
max = sval_type_max(min.type);
sval_t max = sval_type_max(sval.type);
if (sval.uvalue > sval_type_max(type).uvalue)
max = sval_type_max(type);