alloc_rl
err_ptr_rl = clone_rl_permanent(alloc_rl(err_ptr_min, err_ptr_max));
rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval);
rl = alloc_rl(err_ptr_min, err_ptr_max);
rl = rl_intersection(rl, alloc_rl(err_ptr_min, err_ptr_max));
*rl = alloc_rl(min, max);
*rl = alloc_rl(sval, sval);
*rl = alloc_rl(start, end);
*rl = alloc_rl(err_ptr_min, err_ptr_max);
after = alloc_rl(low_error, minus_one);
after = rl_intersection(estate_rl(estate), alloc_rl(low_error, zero));
rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval);
rl_left_orig = alloc_rl(known, known);
rl_right_orig = alloc_rl(min, max);
rl_right_orig = alloc_rl(known, known);
rl_left_orig = alloc_rl(min, max);
*rl = alloc_rl(min, max);
*rl = rl_binop(orig, '+', alloc_rl(sval, sval));
return alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval);
*rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval);
bytes_rl = alloc_rl(bytes, bytes);
*rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval);
*rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval);
*rl = alloc_rl(array_min_sval, array_max_sval);
*res = alloc_rl(sval_type_val(rl_type(rl), 0), rl_max(rl));
return alloc_rl(sval, sval);
store_alloc(expr->left, alloc_rl(page_size, page_size));
store_alloc(expr->left, alloc_rl(sval, sval));
return alloc_rl(sval, sval);
*rl = alloc_rl(sval_type_val(&ulong_ctype, 0),
*rl = alloc_rl(sval_type_val(&ulong_ctype, 0),
*rl = alloc_rl(bound, bound);
*rl = alloc_rl(ll_to_sval(min), ll_to_sval(max));
*rl_p = alloc_rl(sval, sval);
alloc_rl(valid_ptr_min_sval,
*rl_p = rl_binop(rl, flip_op(expr->op), alloc_rl(sval, sval));
*rl_p = rl_binop(rl, flip_op(expr->op), alloc_rl(sval, sval));
rl = alloc_rl(low, high);
filter = alloc_rl(sval_type_min(offset_type),
left_rl = rl_binop(rl, '/', alloc_rl(sval, sval));
struct range_list *alloc_rl(sval_t min, sval_t max);
rl = alloc_rl(sval, sval);
valid_ptr_rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval);
rl = alloc_rl(tmp->range->min, tmp->range->max);
range_rl = alloc_rl(tmp->range->min, tmp->range->max);
*res = alloc_rl(min, max);
rl = rl_binop(rl, '*', alloc_rl(sval, sval));
*res = rl_binop(rl, '+', alloc_rl(sval, sval));
rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval);
*res = alloc_rl(sval, sval);
*res = alloc_rl(sval, sval);
*res = alloc_rl(sval, sval);
*res = alloc_rl(zero, one);
neg = alloc_rl(sval_type_min(type), neg_one);
pos = alloc_rl(zero, sval_type_max(type));
*res = alloc_rl(tmp, tmp);
zero_perm = clone_rl_permanent(alloc_rl(zero, zero));
*res = cast_rl(type, alloc_rl(min, max));
*res = alloc_rl(sval, sval);
*res = alloc_rl(sval_cast(right.type, zero), right);
one_perm = clone_rl_permanent(alloc_rl(one, one));
*res = alloc_rl(min, max);
rl = rl_binop(left_rl, SPECIAL_LEFTSHIFT, alloc_rl(right, right));
*res = alloc_rl(min, max);
*res = alloc_rl(zero, one);
*res = alloc_rl(zero, one);
return alloc_rl(sval, sval);
*rl = alloc_rl(sval, sval);
return alloc_rl(zero, max);
return alloc_rl(min, max);
return alloc_rl(res, res);
ret = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval);
return alloc_rl(min, max);
return alloc_rl(min, max);
return cast_rl(rl_type(left), alloc_rl(min, max));
return cast_rl(rl_type(left), alloc_rl(zero, max));
rl = alloc_rl(min, max);
return alloc_rl(val, val);
return alloc_rl(sval_type_min(type), sval_type_max(type));
*rl = alloc_rl(sval, sval);