Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_equiv.c198 struct sm_state *right_sm, *left_sm, *other_sm; in set_equiv() local
212 right_sm = get_sm_state_expr(SMATCH_EXTRA, right); in set_equiv()
213 if (!right_sm) { in set_equiv()
218 right_sm = set_state_expr(SMATCH_EXTRA, right, alloc_estate_rl(rl)); in set_equiv()
220 if (!right_sm) in set_equiv()
224 left_sm = clone_sm(right_sm); in set_equiv()
227 left_sm->state = clone_estate_cast(get_type(left), right_sm->state); in set_equiv()
233 other_sm = clone_sm(right_sm); in set_equiv()
241 rlist = clone_related_list(estate_related(right_sm->state)); in set_equiv()
242 add_related(&rlist, right_sm->name, right_sm->sym); in set_equiv()