Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c721 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 Dsmatch_slist.h52 void delete_state_stree(struct stree **stree, int owner, const char *name,
H A Dsmatch_slist.c589 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 Dsmatch_states.c453 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()