Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.c227 void add_possible_sm(struct sm_state *to, struct sm_state *new) in add_possible_sm() function
269 add_possible_sm(to, to); in copy_possibles()
271 add_possible_sm(to, tmp); in copy_possibles()
877 add_possible_sm(res, one); in __merge_stree()
878 add_possible_sm(res, two); in __merge_stree()
H A Dsmatch_slist.h38 void add_possible_sm(struct sm_state *to, struct sm_state *new);
H A Dsmatch_implied.c186 add_possible_sm(true_sm, true_sm); in create_fake_history()
189 add_possible_sm(false_sm, false_sm); in create_fake_history()
H A Dsmatch_comparison.c2658 add_possible_sm(clone, clone); in clone_partial_sm()