Searched refs:delete_state_stree_stack (Results 1 – 3 of 3) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_slist.h | 55 void delete_state_stree_stack(struct stree_stack **stack, int owner, const char *name,
|
| H A D | smatch_states.c | 455 delete_state_stree_stack(&pre_cond_stack, owner, name, sym); in delete_state()
456 delete_state_stree_stack(&cond_true_stack, owner, name, sym); in delete_state()
457 delete_state_stree_stack(&cond_false_stack, owner, name, sym); in delete_state()
|
| H A D | smatch_slist.c | 601 void delete_state_stree_stack(struct stree_stack **stack, int owner, const char *name, in delete_state_stree_stack() function
|