Searched refs:get_dinfo (Results 1 – 3 of 3) sorted by relevance
65 struct data_info *get_dinfo(struct smatch_state *state) in get_dinfo() function76 return get_dinfo(state)->value_ranges; in estate_rl()83 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()106 get_dinfo(state)->fuzzy_max = fuzzy_max; in estate_set_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()[all …]
152 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()
178 struct data_info *get_dinfo(struct smatch_state *state);