Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.h39 struct sm_state *merge_sm_states(struct sm_state *one, struct sm_state *two);
H A Dsmatch_slist.c453 struct sm_state *merge_sm_states(struct sm_state *one, struct sm_state *two) in merge_sm_states() function
876 res = merge_sm_states(one, two); in __merge_stree()
H A Dsmatch_states.c258 merged = merge_sm_states(orig, sm); in __merge_stree_into_cur()
H A Dsmatch_implied.c578 ret = merge_sm_states(left, right); in filter_pools()