3 DECLARE_PTR_LIST(state_list
, struct sm_state
);
4 DECLARE_PTR_LIST(state_list_stack
, struct state_list
);
10 DECLARE_ALLOCATOR(named_stree
);
11 DECLARE_PTR_LIST(named_stree_stack
, struct named_stree
);
14 extern struct state_list_stack
*implied_pools
;
15 extern int __stree_id
;
17 char *show_sm(struct sm_state
*sm
);
18 void __print_stree(struct stree
*stree
);
19 void add_history(struct sm_state
*sm
);
20 int cmp_tracker(const struct sm_state
*a
, const struct sm_state
*b
);
21 char *alloc_sname(const char *str
);
22 struct sm_state
*alloc_sm_state(int owner
, const char *name
,
23 struct symbol
*sym
, struct smatch_state
*state
);
25 void free_every_single_sm_state(void);
26 struct sm_state
*clone_sm(struct sm_state
*s
);
27 int is_merged(struct sm_state
*sm
);
28 int is_leaf(struct sm_state
*sm
);
29 struct state_list
*clone_slist(struct state_list
*from_slist
);
31 int slist_has_state(struct state_list
*slist
, struct smatch_state
*state
);
33 int too_many_possible(struct sm_state
*sm
);
34 void add_possible_sm(struct sm_state
*to
, struct sm_state
*new);
35 struct sm_state
*merge_sm_states(struct sm_state
*one
, struct sm_state
*two
);
36 struct smatch_state
*get_state_stree(struct stree
*stree
, int owner
, const char *name
,
39 struct sm_state
*get_sm_state_stree(struct stree
*stree
, int owner
, const char *name
,
42 void overwrite_sm_state_stree(struct stree
**stree
, struct sm_state
*sm
);
43 void overwrite_sm_state_stree_stack(struct stree_stack
**stack
, struct sm_state
*sm
);
44 struct sm_state
*set_state_stree(struct stree
**stree
, int owner
, const char *name
,
45 struct symbol
*sym
, struct smatch_state
*state
);
46 void set_state_stree_perm(struct stree
**stree
, int owner
, const char *name
,
47 struct symbol
*sym
, struct smatch_state
*state
);
48 void delete_state_stree(struct stree
**stree
, int owner
, const char *name
,
51 void delete_state_stree_stack(struct stree_stack
**stack
, int owner
, const char *name
,
54 void push_stree(struct stree_stack
**list_stack
, struct stree
*stree
);
55 struct stree
*pop_stree(struct stree_stack
**list_stack
);
56 struct stree
*top_stree(struct stree_stack
*stack
);
58 void free_slist(struct state_list
**slist
);
59 void free_stree_stack(struct stree_stack
**stack
);
60 void free_stack_and_strees(struct stree_stack
**stree_stack
);
62 struct sm_state
*set_state_stree_stack(struct stree_stack
**stack
, int owner
, const char *name
,
63 struct symbol
*sym
, struct smatch_state
*state
);
65 struct sm_state
*get_sm_state_stree_stack(struct stree_stack
*stack
,
66 int owner
, const char *name
,
68 struct smatch_state
*get_state_stree_stack(struct stree_stack
*stack
, int owner
,
69 const char *name
, struct symbol
*sym
);
71 int out_of_memory(void);
72 int low_on_memory(void);
73 void merge_stree(struct stree
**to
, struct stree
*stree
);
74 void merge_stree_no_pools(struct stree
**to
, struct stree
*stree
);
75 void merge_stree(struct stree
**to
, struct stree
*right
);
76 void merge_fake_stree(struct stree
**to
, struct stree
*stree
);
77 void filter_stree(struct stree
**stree
, struct stree
*filter
);
78 void and_stree_stack(struct stree_stack
**stree_stack
);
80 void or_stree_stack(struct stree_stack
**pre_conds
,
81 struct stree
*cur_stree
,
82 struct stree_stack
**stack
);
84 struct stree
**get_named_stree(struct named_stree_stack
*stack
,
87 void overwrite_stree(struct stree
*from
, struct stree
**to
);
89 /* add stuff smatch_returns.c here */
91 void all_return_states_hook(void (*callback
)(struct stree
*slist
));