79 void merge_stree_no_pools(struct stree **to, struct stree *stree);
  80 void merge_stree(struct stree **to, struct stree *right);
  81 void merge_fake_stree(struct stree **to, struct stree *stree);
  82 void filter_stree(struct stree **stree, struct stree *filter);
  83 void and_stree_stack(struct stree_stack **stree_stack);
  84 
  85 void or_stree_stack(struct stree_stack **pre_conds,
  86                     struct stree *cur_stree,
  87                     struct stree_stack **stack);
  88 
  89 struct stree **get_named_stree(struct named_stree_stack *stack,
  90                                const char *name,
  91                                struct symbol *sym);
  92 
  93 void overwrite_stree(struct stree *from, struct stree **to);
  94 
  95 /* add stuff smatch_returns.c here */
  96 
  97 void all_return_states_hook(void (*callback)(void));
  98 

  79 void merge_stree_no_pools(struct stree **to, struct stree *stree);
  80 void merge_stree(struct stree **to, struct stree *right);
  81 void merge_fake_stree(struct stree **to, struct stree *stree);
  82 void filter_stree(struct stree **stree, struct stree *filter);
  83 void and_stree_stack(struct stree_stack **stree_stack);
  84 
  85 void or_stree_stack(struct stree_stack **pre_conds,
  86                     struct stree *cur_stree,
  87                     struct stree_stack **stack);
  88 
  89 struct stree **get_named_stree(struct named_stree_stack *stack,
  90                                const char *name,
  91                                struct symbol *sym);
  92 
  93 void overwrite_stree(struct stree *from, struct stree **to);
  94 
  95 /* add stuff smatch_returns.c here */
  96 
  97 void all_return_states_hook(void (*callback)(void));
  98 
  99 void allocate_dynamic_states_array(int num_checks);