Searched refs:delete_state_stree (Results 1 – 4 of 4) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_implied.c | 721 delete_state_stree(stree, SMATCH_EXTRA, rel->name, rel->sym); in delete_gate_sm_equiv() 727 delete_state_stree(stree, SMATCH_EXTRA, name, sym); in delete_gate_sm() 840 delete_state_stree(implied_true, sm->owner, sm->name, sm->sym); in handled_by_comparison_hook() 842 delete_state_stree(implied_false, sm->owner, sm->name, sm->sym); in handled_by_comparison_hook() 934 delete_state_stree(implied_true, sm->owner, sm->name, sm->sym); in separate_implication_states() 942 delete_state_stree(implied_false, sm->owner, sm->name, sm->sym); in separate_implication_states()
|
H A D | smatch_slist.h | 52 void delete_state_stree(struct stree **stree, int owner, const char *name,
|
H A D | smatch_slist.c | 589 void delete_state_stree(struct stree **stree, int owner, const char *name, in delete_state_stree() function 607 delete_state_stree(&stree, owner, name, sym); in delete_state_stree_stack()
|
H A D | smatch_states.c | 453 delete_state_stree(&cur_stree, owner, name, sym); in delete_state() 486 delete_state_stree(stree, sm->owner, sm->name, sm->sym); in delete_all_states_stree_sym()
|