1 DECLARE_ALLOCATOR(sm_state
);
2 DECLARE_PTR_LIST(state_list
, struct sm_state
);
3 DECLARE_PTR_LIST(state_list_stack
, struct state_list
);
6 struct state_list
*slist
;
8 DECLARE_ALLOCATOR(named_slist
);
9 DECLARE_PTR_LIST(named_stack
, struct named_slist
);
11 extern struct state_list_stack
*implied_pools
;
13 void __print_slist(struct state_list
*slist
);
14 void add_history(struct sm_state
*state
);
15 int cmp_tracker(const struct sm_state
*a
, const struct sm_state
*b
);
16 struct sm_state
*alloc_state(const char *name
, int owner
,
18 struct smatch_state
*state
);
20 void free_every_single_sm_state();
21 struct sm_state
*clone_state(struct sm_state
*s
);
22 struct state_list
*clone_slist(struct state_list
*from_slist
);
23 struct state_list_stack
*clone_stack(struct state_list_stack
*from_stack
);
25 int slist_has_state(struct state_list
*slist
, struct smatch_state
*state
);
26 struct smatch_state
*merge_states(const char *name
, int owner
,
28 struct smatch_state
*state1
,
29 struct smatch_state
*state2
);
31 struct smatch_state
*get_state_slist(struct state_list
*slist
, const char *name
, int owner
,
34 struct sm_state
*get_sm_state_slist(struct state_list
*slist
, const char *name
, int owner
,
37 void overwrite_sm_state(struct state_list
**slist
, struct sm_state
*state
);
38 void overwrite_sm_state_stack(struct state_list_stack
**stack
,
39 struct sm_state
*state
);
40 void set_state_slist(struct state_list
**slist
, const char *name
, int owner
,
41 struct symbol
*sym
, struct smatch_state
*state
);
43 void merge_state_slist(struct state_list
**slist
, const char *name
, int owner
,
44 struct symbol
*sym
, struct smatch_state
*state
);
46 void delete_state_slist(struct state_list
**slist
, const char *name
, int owner
,
49 struct smatch_state
*get_state_slist(struct state_list
*slist
, const char *name
, int owner
,
52 void push_slist(struct state_list_stack
**list_stack
, struct state_list
*slist
);
54 struct state_list
*pop_slist(struct state_list_stack
**list_stack
);
56 void free_slist(struct state_list
**slist
);
57 void free_stack(struct state_list_stack
**stack
);
58 void free_stack_and_slists(struct state_list_stack
**slist_stack
);
60 void set_state_stack(struct state_list_stack
**stack
, const char *name
,
61 int owner
, struct symbol
*sym
, struct smatch_state
*state
);
63 struct smatch_state
*get_state_stack(struct state_list_stack
*stack
, const char *name
,
64 int owner
, struct symbol
*sym
);
66 void merge_slist(struct state_list
**to
, struct state_list
*slist
);
67 struct state_list
*clone_states_in_pool(struct state_list
*pool
,
68 struct state_list
*cur_slist
);
69 void filter(struct state_list
**slist
, struct state_list
*filter
,
70 struct state_list
*cur_slist
);
71 void and_slist_stack(struct state_list_stack
**slist_stack
);
73 void or_slist_stack(struct state_list_stack
**slist_stack
);
75 struct state_list
**get_slist_from_named_stack(struct named_stack
*stack
,
78 void overwrite_slist(struct state_list
*from
, struct state_list
**to
);