sval_type_min
sval_t max = sval_type_min(&llong_ctype);
min = sval_type_min(get_type(expr->right));
min = sval_type_min(get_type(expr->left));
min = sval_type_min(sym);
sval_t sval_type_min(struct symbol *base_type);
min = sval_type_min(&ptr_ctype);
if (sval_cmp(sval_type_min(type), rl_min(rl)) > 0)
min = sval_type_min(min.type);
false_rl = remove_range(false_rl, sval_type_min(known.type), sval_type_val(known.type, -1));
filter = alloc_rl(sval_type_min(offset_type),
end = sval_type_min(get_type(iter_var));
min = sval_type_min(get_type(expr));
*sval = sval_type_min(type);
if (sval_cmp(*sval, sval_type_min(type)) < 0)
*sval = sval_type_min(type);
neg = alloc_rl(sval_type_min(type), neg_one);
neg = remove_range(neg, sval_type_min(type), sval_type_min(type));
add_range(&ret, sval_type_min(type), sval_type_min(type));
min = sval_type_min(type);
if (sval.value < sval_type_min(type).value)
sval_cmp(rl_min(rl), sval_type_min(type)) < 0)
add_range(rl, sval_type_min(type), sval_type_max(type));
min = sval_type_min(type);
add_range(rl, sval_type_min(type), sval_type_max(type));
min = sval_type_min(type);
min = sval_type_min(rl_type(left_orig));
ret = sval_type_min(type);
min = sval_type_min(cast_type);
ret = sval_type_min(type);
prev_min = sval_type_min(type);
min = sval_type_min(type);
if (sval_cmp(min, sval_type_min(type)) != 0)
min = sval_type_min(type);
return alloc_rl(sval_type_min(type), sval_type_max(type));
min = sval_type_min(min.type);
sval_t min = sval_type_min(sval.type);
sval.value < sval_type_min(type).value)
if (sval_cmp(sval, sval_type_min(type)) < 0)
min = sval_type_min(type);