Home
last modified time | relevance | path

Searched refs:estate_related (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c44 rlist = get_shared_relations(estate_related(s1), estate_related(s2)); in merge_estates()
79 struct related_list *estate_related(struct smatch_state *state) in estate_related() function
241 if (!rlists_equiv(estate_related(one), estate_related(two))) in estates_equiv()
270 if (estate_related(state)) in estate_is_unknown()
353 set_related(ret, clone_related_list(estate_related(state))); in clone_partial_estate()
H A Dsmatch_equiv.c136 FOR_EACH_PTR(estate_related(state), tmp) { in del_related()
186 if (!estate_related(estate) && !rlist) in set_related()
241 rlist = clone_related_list(estate_related(right_sm->state)); in set_equiv()
H A Dsmatch_extra.c453 if (!estate_related(orig_state)) { in set_extra_nomod()
458 set_related(state, estate_related(orig_state)); in set_extra_nomod()
459 FOR_EACH_PTR(estate_related(orig_state), rel) { in set_extra_nomod()
524 if (!estate_related(orig_state)) { in set_extra_true_false()
530 set_related(true_state, estate_related(orig_state)); in set_extra_true_false()
532 set_related(false_state, estate_related(orig_state)); in set_extra_true_false()
534 FOR_EACH_PTR(estate_related(orig_state), rel) { in set_extra_true_false()
H A Dcheck_debug.c434 if (!estate_related(sm->state)) in print_related()
439 FOR_EACH_PTR(estate_related(sm->state), rel) { in print_related()
H A Dsmatch_extra.h137 struct related_list *estate_related(struct smatch_state *state);
H A Dsmatch_implied.c720 FOR_EACH_PTR(estate_related(state), rel) { in delete_gate_sm_equiv()