alloc_estate_range
set_extra_expr_mod(expr->left, alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval));
set_extra_expr_mod(expr->left, alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval));
return alloc_estate_range(min, max);
return alloc_estate_range(min, max);
new = alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval);
true_state = alloc_estate_range(add_one(start), limit);
false_state = alloc_estate_range(add_one(limit), add_one(limit));
set_extra_chunk_true_false(left, NULL, alloc_estate_range(min, max));
estate = alloc_estate_range(right, start);
estate = alloc_estate_range(right, start);
estate = alloc_estate_range(start, end);
estate = alloc_estate_range(end, start);
state = alloc_estate_range(estate_min(sm->state), limit);
state = alloc_estate_range(limit, estate_max(sm->state));
struct smatch_state *alloc_estate_range(sval_t min, sval_t max);