Lines Matching refs:stack
554 void overwrite_sm_state_stree_stack(struct stree_stack **stack, in overwrite_sm_state_stree_stack() argument
559 stree = pop_stree(stack); in overwrite_sm_state_stree_stack()
561 push_stree(stack, stree); 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() argument
606 stree = pop_stree(stack); in delete_state_stree_stack()
608 push_stree(stack, stree); in delete_state_stree_stack()
611 void push_stree(struct stree_stack **stack, struct stree *stree) in push_stree() argument
613 add_ptr_list(stack, stree); in push_stree()
616 struct stree *pop_stree(struct stree_stack **stack) in pop_stree() argument
620 stree = last_ptr_list((struct ptr_list *)*stack); in pop_stree()
621 delete_ptr_list_last((struct ptr_list **)stack); in pop_stree()
625 struct stree *top_stree(struct stree_stack *stack) in top_stree() argument
627 return last_ptr_list((struct ptr_list *)stack); in top_stree()
635 void free_stree_stack(struct stree_stack **stack) in free_stree_stack() argument
637 __free_ptr_list((struct ptr_list **)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() argument
656 stree = pop_stree(stack); in set_state_stree_stack()
658 push_stree(stack, stree); in set_state_stree_stack()
666 struct sm_state *get_sm_state_stree_stack(struct stree_stack *stack, in get_sm_state_stree_stack() argument
673 stree = pop_stree(&stack); in get_sm_state_stree_stack()
675 push_stree(&stack, stree); in get_sm_state_stree_stack()
679 struct smatch_state *get_state_stree_stack(struct stree_stack *stack, in get_state_stree_stack() argument
685 sm = get_sm_state_stree_stack(stack, owner, name, sym); in get_state_stree_stack()
1014 void and_stree_stack(struct stree_stack **stack) in and_stree_stack() argument
1017 struct stree *right_stree = pop_stree(stack); in and_stree_stack()
1020 overwrite_sm_state_stree_stack(stack, tmp); in and_stree_stack()
1035 struct stree_stack **stack) in or_stree_stack() argument
1043 new = pop_stree(stack); in or_stree_stack()
1044 old = pop_stree(stack); in or_stree_stack()
1058 push_stree(stack, res); in or_stree_stack()
1068 struct stree **get_named_stree(struct named_stree_stack *stack, in get_named_stree() argument
1074 FOR_EACH_PTR(stack, tmp) { in get_named_stree()