get_dinfo
if (!orig_sm || !get_dinfo(orig_sm->state)->related)
get_dinfo(new_sm->state)->related = to_update;
get_dinfo(estate)->related = rlist;
get_dinfo(new_sm->state)->related = rlist;
FOR_EACH_PTR(get_dinfo(estate)->related, rel) {
get_dinfo(state)->fuzzy_max = fuzzy_max;
get_dinfo(state)->fuzzy_max = empty;
return get_dinfo(state)->hard_max;
get_dinfo(state)->hard_max = 1;
get_dinfo(state)->hard_max = 0;
if (!state || !get_dinfo(state)->hard_max || !estate_rl(state))
return get_dinfo(state)->capped;
get_dinfo(state)->capped = true;
return get_dinfo(state)->treat_untagged;
get_dinfo(state)->treat_untagged = true;
return get_dinfo(state)->set;
get_dinfo(state)->set = true;
ret->data = clone_dinfo(get_dinfo(state));
state->name = show_rl(get_dinfo(state)->value_ranges);
state->name = show_rl(get_dinfo(state)->value_ranges);
ret->data = clone_dinfo_perm(get_dinfo(state));
return get_dinfo(state)->value_ranges;
return get_dinfo(state)->related;
if (!state || !get_dinfo(state))
return get_dinfo(state)->fuzzy_max;
struct data_info *get_dinfo(struct smatch_state *state);