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_implied(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 struct sm_state
*merge_sm_states(struct sm_state
*one
, struct sm_state
*two
);
35 struct smatch_state
*get_state_stree(struct stree
*stree
, int owner
, const char *name
,
38 struct sm_state
*get_sm_state_stree(struct stree
*stree
, int owner
, const char *name
,
41 void overwrite_sm_state_stree(struct stree
**stree
, struct sm_state
*sm
);
42 void overwrite_sm_state_stree_stack(struct stree_stack
**stack
, struct sm_state
*sm
);
43 struct sm_state
*set_state_stree(struct stree
**stree
, int owner
, const char *name
,
44 struct symbol
*sym
, struct smatch_state
*state
);
45 void set_state_stree_perm(struct stree
**stree
, int owner
, const char *name
,
46 struct symbol
*sym
, struct smatch_state
*state
);
47 void delete_state_stree(struct stree
**stree
, int owner
, const char *name
,
50 void delete_state_stree_stack(struct stree_stack
**stack
, int owner
, const char *name
,
53 void push_stree(struct stree_stack
**list_stack
, struct stree
*stree
);
54 struct stree
*pop_stree(struct stree_stack
**list_stack
);
55 struct stree
*top_stree(struct stree_stack
*stack
);
57 void free_slist(struct state_list
**slist
);
58 void free_stree_stack(struct stree_stack
**stack
);
59 void free_stack_and_strees(struct stree_stack
**stree_stack
);
61 struct sm_state
*set_state_stree_stack(struct stree_stack
**stack
, int owner
, const char *name
,
62 struct symbol
*sym
, struct smatch_state
*state
);
64 struct sm_state
*get_sm_state_stree_stack(struct stree_stack
*stack
,
65 int owner
, const char *name
,
67 struct smatch_state
*get_state_stree_stack(struct stree_stack
*stack
, int owner
,
68 const char *name
, struct symbol
*sym
);
70 int out_of_memory(void);
71 int low_on_memory(void);
72 void merge_stree(struct stree
**to
, struct stree
*stree
);
73 void merge_stree_no_pools(struct stree
**to
, struct stree
*stree
);
74 void merge_stree(struct stree
**to
, struct stree
*right
);
75 void merge_fake_stree(struct stree
**to
, struct stree
*stree
);
76 void filter_stree(struct stree
**stree
, struct stree
*filter
);
77 void and_stree_stack(struct stree_stack
**stree_stack
);
79 void or_stree_stack(struct stree_stack
**pre_conds
,
80 struct stree
*cur_stree
,
81 struct stree_stack
**stack
);
83 struct stree
**get_named_stree(struct named_stree_stack
*stack
,
86 void overwrite_stree(struct stree
*from
, struct stree
**to
);
88 /* add stuff smatch_returns.c here */
90 void all_return_states_hook(void (*callback
)(struct stree
*slist
));