estate_rl
bucket = success_fail_positive(estate_rl(return_sm->state));
if (!estate || !possibly_true_rl(estate_rl(estate), SPECIAL_EQUAL, err_ptr_rl))
pre = estate_rl(pre_state);
rl = estate_rl(pre_state);
after = rl_intersection(estate_rl(estate), alloc_rl(low_error, zero));
if (rl_equiv(estate_rl(estate), after))
if (estate_rl(pre_state)) {
rl = estate_rl(pre_state);
is_EINTR(estate_rl(return_sm->state)))
bucket = success_fail_positive(estate_rl(return_sm->state));
if (is_whole_rl(estate_rl(sm->state)))
if (!estate_rl(tmp->state))
if (is_non_zero_int(estate_rl(tmp->state)))
if (has_distinct_zero(estate_rl(tmp->state))) {
if (estate_rl(estate)) {
implied_binfo = rl_to_binfo(estate_rl(estate));
if (estate_rl(estate)) {
p = rl_to_binfo(estate_rl(estate));
return estate_rl(state);
if (!state || !estate_rl(state))
if (!estate_rl(sm->state) ||
return estate_rl(state);
rl = cast_rl(cur_func_return_type(), estate_rl(tmp->state));
if (!estate_rl(tmp->state))
if (!estate_rl(state))
rl = estate_rl(state);
rl = estate_rl(tmp->state);
rl = estate_rl(sm->state);
if (rl_min(estate_rl(sm->state)).value != 0 ||
rl_max(estate_rl(sm->state)).value != 1)
return clone_rl(estate_rl(sm->state));
if (!rl_has_sval(estate_rl(state), fuzzy_max))
if (!state || !estate_rl(state))
if (!state || !get_dinfo(state)->hard_max || !estate_rl(state))
*sval = rl_max(estate_rl(state));
if (!estate_rl(state))
if (!estate_rl(state))
if (!estate_rl(state))
return rl_min(estate_rl(state));
return rl_max(estate_rl(state));
return rl_max(estate_rl(state)).type;
return is_whole_rl(estate_rl(state));
return state && !estate_rl(state);
if (!estate_rl(state))
min = rl_min(estate_rl(state));
max = rl_max(estate_rl(state));
value_ranges = rl_union(estate_rl(s1), estate_rl(s2));
dinfo->value_ranges = clone_rl(cast_rl(type, estate_rl(state)));
if ((estate_has_hard_max(s1) && (!estate_rl(s2) || estate_has_hard_max(s2))) ||
(estate_has_hard_max(s2) && (!estate_rl(s1) || estate_has_hard_max(s1))))
if (!estate_rl(state))
if (!estate_rl(state))
rl = rl_intersection(estate_rl(state), valid_ptr_rl);
if (rl_equiv(rl, estate_rl(state)))
rl = rl_intersection(estate_rl(orig),
if (state && !estate_rl(state))
new = alloc_estate_rl(cast_rl(new_type, estate_rl(state)));
if (estate_rl(left_true_state) && estates_equiv(left_true_state, left_false_state)) {
if (estate_rl(right_true_state) && estates_equiv(right_true_state, right_false_state)) {
if (rl_equiv(left_orig, estate_rl(left_true_state)))
if (rl_equiv(left_orig, estate_rl(left_false_state)))
if (rl_equiv(right_orig, estate_rl(right_true_state)))
if (rl_equiv(right_orig, estate_rl(right_false_state)))
if (!rl_has_sval(estate_rl(estate), sval_type_val(estate_type(estate), 0)))
if (!estate_rl(state))
if (!state || !estate_rl(state))
return rl_intersection(estate_rl(state), start);
if (!state || !estate_rl(state))
abs_rl = cast_rl(rl_type(start), estate_rl(state));
if (estate_is_whole(sm->state) || !estate_rl(sm->state))
rl = estate_rl(sm->state);
if (!estate_rl(sm->state))
rl = estate_rl(sm->state);
new = estate_rl(state);
struct range_list *estate_rl(struct smatch_state *state);
if (estate_rl(orig)) {
if (estate_rl(faked)) {
rl = rl_intersection(estate_rl(faked), estate_rl(orig));
state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));
state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));
state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));
passed = estate_rl(state);
if (possibly_true_rl(range_rl, SPECIAL_EQUAL, estate_rl(db_info->ret_state)))
if (!state || !estate_rl(state))
*rl = estate_rl(state);
orig = estate_rl(sm->state);
if (!estate_rl(sm->state))
orig_rl = cast_rl(rl_type(rl), estate_rl(sm->state));
rl_equiv(estate_rl(sm->state), true_rl) || rl_equiv(estate_rl(sm->state), false_rl))
var_rl = cast_rl(rl_type(rl), estate_rl(sm->state));
if (state && estate_rl(state)) {
*rl = estate_rl(state);
if (!state || !estate_rl(state))
rl = estate_rl(sm->state);
rl = rl_intersection(estate_rl(sm->state), estate_rl(state));
rl = rl_intersection(estate_rl(user), estate_rl(state));
if (rl_equiv(rl, estate_rl(user)))
if (start_state && rl_equiv(estate_rl(sm->state), estate_rl(start_state)))
show_rl(estate_rl(sm->state)),
show_rl(estate_rl(sm->state)),
if (state && estate_rl(state))
if (!state || !estate_rl(state))
*rl = estate_rl(state);
rl = rl_intersection(estate_rl(user), estate_rl(extra));
if (state && estate_rl(state)) {
rl = estate_rl(state);
*res = clone_rl(estate_rl(state));
if (estate_rl(state) && estate_rl(abs_state)) {
*res = clone_rl(rl_intersection(estate_rl(state),
estate_rl(abs_state)));
} else if (estate_rl(state)) {
*res = clone_rl(estate_rl(state));
} else if (estate_rl(abs_state)) {
*res = clone_rl(estate_rl(abs_state));
*rl = estate_rl(state);
if (state && !is_whole_rl(estate_rl(state))) {
*res = clone_rl(estate_rl(state));
if (!state || !estate_rl(state))
if (!state || is_whole_rl(estate_rl(state))) {
return clone_rl(estate_rl(state));
if (!estate_rl(state))
return clone_rl(estate_rl(state));
if (!rl_intersection(estate_rl(state), valid_ptr_rl))
rl = rl_filter(estate_rl(state), valid_ptr_rl);
new = rl_union(orig, estate_rl(state));
if (is_whole_rl(estate_rl(sm->state)))
if (!estate_rl(sm->state)) {
param_name, show_rl(estate_rl(sm->state)));
if (estate_rl(state))
if (estate_rl(other->state))
rl = rl_intersection(estate_rl(extra), estate_rl(cur->state));
if (rl_equiv(rl, estate_rl(cur->state)))
return estate_rl(state);
rl = estate_rl(state);
return estate_rl(state);
if (old && rl_equiv(estate_rl(old), estate_rl(state)))
if (!estate_rl(sm->state))
rl = rl_intersection(estate_rl(sm->state), estate_rl(extra));
rl = estate_rl(sm->state);
if (!is_whole_rl(estate_rl(state)))
*rl = estate_rl(state);
if (!abs || !estate_rl(abs))
rl = rl_intersection(estate_rl(abs), estate_rl(state));
if (!extra || !estate_rl(extra))
if (!estate_rl(cur->state)) {
rl = rl_intersection(estate_rl(cur->state), estate_rl(extra));
*rl = estate_rl(state);