Home
last modified time | relevance | path

Searched refs:get_dinfo (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c83 return get_dinfo(state)->related; in estate_related()
90 if (!state || !get_dinfo(state)) in estate_get_fuzzy_max()
92 return get_dinfo(state)->fuzzy_max; in estate_get_fuzzy_max()
120 get_dinfo(state)->fuzzy_max = empty; in estate_clear_fuzzy_max()
127 return get_dinfo(state)->hard_max; in estate_has_hard_max()
135 get_dinfo(state)->hard_max = 1; in estate_set_hard_max()
140 get_dinfo(state)->hard_max = 0; in estate_clear_hard_max()
158 return get_dinfo(state)->capped; in estate_capped()
163 get_dinfo(state)->capped = true; in estate_set_capped()
187 return get_dinfo(state)->set; in estate_new()
[all …]
H A Dsmatch_equiv.c152 if (!orig_sm || !get_dinfo(orig_sm->state)->related) in remove_from_equiv()
166 get_dinfo(new_sm->state)->related = to_update; in remove_from_equiv()
188 get_dinfo(estate)->related = rlist; in set_related()
255 get_dinfo(new_sm->state)->related = rlist; in set_equiv()
272 FOR_EACH_PTR(get_dinfo(estate)->related, rel) { in set_equiv_state_expr()
H A Dsmatch_extra.h178 struct data_info *get_dinfo(struct smatch_state *state);