Lines Matching defs:stack
554 void overwrite_sm_state_stree_stack(struct stree_stack **stack, in overwrite_sm_state_stree_stack()
601 void delete_state_stree_stack(struct stree_stack **stack, int owner, const char *name, in delete_state_stree_stack()
611 void push_stree(struct stree_stack **stack, struct stree *stree) in push_stree()
616 struct stree *pop_stree(struct stree_stack **stack) in pop_stree()
625 struct stree *top_stree(struct stree_stack *stack) in top_stree()
635 void free_stree_stack(struct stree_stack **stack) in free_stree_stack()
650 struct sm_state *set_state_stree_stack(struct stree_stack **stack, int owner, const char *name, in set_state_stree_stack()
666 struct sm_state *get_sm_state_stree_stack(struct stree_stack *stack, in get_sm_state_stree_stack()
679 struct smatch_state *get_state_stree_stack(struct stree_stack *stack, in get_state_stree_stack()
1014 void and_stree_stack(struct stree_stack **stack) in and_stree_stack()
1035 struct stree_stack **stack) in or_stree_stack()
1068 struct stree **get_named_stree(struct named_stree_stack *stack, in get_named_stree()