usr/src/tools/smatch/src/smatch_implied.c

721

delete_state_stree(stree, SMATCH_EXTRA, rel->name, rel->sym);

usr/src/tools/smatch/src/smatch_implied.c

727

delete_state_stree(stree, SMATCH_EXTRA, name, sym);

usr/src/tools/smatch/src/smatch_implied.c

840

delete_state_stree(implied_true, sm->owner, sm->name, sm->sym);

usr/src/tools/smatch/src/smatch_implied.c

842

delete_state_stree(implied_false, sm->owner, sm->name, sm->sym);

usr/src/tools/smatch/src/smatch_implied.c

934

delete_state_stree(implied_true, sm->owner, sm->name, sm->sym);

usr/src/tools/smatch/src/smatch_implied.c

942

delete_state_stree(implied_false, sm->owner, sm->name, sm->sym);

usr/src/tools/smatch/src/smatch_slist.c

607

delete_state_stree(&stree, owner, name, sym);

usr/src/tools/smatch/src/smatch_slist.h

52

void delete_state_stree(struct stree **stree, int owner, const char *name,

usr/src/tools/smatch/src/smatch_states.c

453

delete_state_stree(&cur_stree, owner, name, sym);

usr/src/tools/smatch/src/smatch_states.c

486

delete_state_stree(stree, sm->owner, sm->name, sm->sym);