Lines Matching defs:stree
77 void __print_stree(struct stree *stree) in __print_stree()
520 struct sm_state *get_sm_state_stree(struct stree *stree, int owner, const char *name, in get_sm_state_stree()
536 struct smatch_state *get_state_stree(struct stree *stree, in get_state_stree()
549 void overwrite_sm_state_stree(struct stree **stree, struct sm_state *new) in overwrite_sm_state_stree()
557 struct stree *stree; in overwrite_sm_state_stree_stack() local
564 struct sm_state *set_state_stree(struct stree **stree, int owner, const char *name, in set_state_stree()
573 void set_state_stree_perm(struct stree **stree, int owner, const char *name, in set_state_stree_perm()
589 void delete_state_stree(struct stree **stree, int owner, const char *name, in delete_state_stree()
604 struct stree *stree; in delete_state_stree_stack() local
611 void push_stree(struct stree_stack **stack, struct stree *stree) in push_stree()
618 struct stree *stree; in pop_stree() local
642 struct stree *stree; in free_stack_and_strees() local
653 struct stree *stree; in set_state_stree_stack() local
670 struct stree *stree; in get_sm_state_stree_stack() local
784 static void clone_pool_havers_stree(struct stree **stree) in clone_pool_havers_stree()
809 static void __merge_stree(struct stree **to, struct stree *stree, int add_pool) in __merge_stree()
889 void merge_stree(struct stree **to, struct stree *stree) in merge_stree()
894 void merge_stree_no_pools(struct stree **to, struct stree *stree) in merge_stree_no_pools()
906 void merge_fake_stree(struct stree **to, struct stree *stree) in merge_fake_stree()
978 void filter_stree(struct stree **stree, struct stree *filter) in filter_stree()