smatch_slist.h

   1 DECLARE_PTR_LIST(state_list, struct sm_state);
   2 DECLARE_PTR_LIST(state_list_stack, struct state_list);
   3 struct named_slist {
   4         char *name;
   5         struct state_list *slist;
   6 };
   7 DECLARE_ALLOCATOR(named_slist);
   8 DECLARE_PTR_LIST(named_stack, struct named_slist);
   9
  10 extern struct state_list_stack *implied_pools;
  11
  12 void __print_slist(struct state_list *slist);
  13 void add_history(struct sm_state *state);
  14 int cmp_tracker(const struct sm_state *a, const struct sm_state *b);
  15 char *alloc_sname(const char *str);
  16 struct sm_state *alloc_state(const char *name, int owner,
  17                              struct symbol *sym,
  18                              struct smatch_state *state);
  19
  20 void free_every_single_sm_state(void);
  21 struct sm_state *clone_state(struct sm_state *s);
  22 int is_merged(struct sm_state *sm);
  23 struct state_list *clone_slist(struct state_list *from_slist);
  24 struct state_list *clone_slist_and_states(struct state_list *from_slist);
  25 struct state_list_stack *clone_stack(struct state_list_stack *from_stack);
  26
  27 int slist_has_state(struct state_list *slist, struct smatch_state *state);
  28 struct smatch_state *merge_states(const char *name, int owner,
  29                                   struct symbol *sym,
  30                                   struct smatch_state *state1,
  31                                   struct smatch_state *state2);
  32
  33 void add_pool(struct state_list_stack **pools, struct state_list *new);
  34 void merge_pools(struct state_list_stack **to, struct state_list_stack *from);
  35 struct sm_state *merge_sm_states(struct sm_state *one, struct sm_state *two);
  36 struct smatch_state *get_state_slist(struct state_list *slist, const char *name, int owner,
  37                     struct symbol *sym);
  38
  39 struct sm_state *get_sm_state_slist(struct state_list *slist, const char *name, int owner,
  40                     struct symbol *sym);
  41
  42 void overwrite_sm_state(struct state_list **slist, struct sm_state *state);
  43 void overwrite_sm_state_stack(struct state_list_stack **stack,
  44                         struct sm_state *state);
  45 void set_state_slist(struct state_list **slist, const char *name, int owner,
  46                      struct symbol *sym, struct smatch_state *state);
  47
  48 void merge_state_slist(struct state_list **slist, const char *name, int owner,
  49                        struct symbol *sym, struct smatch_state *state);
  50
  51 void delete_state_slist(struct state_list **slist, const char *name, int owner,
  52                         struct symbol *sym);
  53
  54 struct smatch_state *get_state_slist(struct state_list *slist, const char *name, int owner,
  55                     struct symbol *sym);
  56
  57 void push_slist(struct state_list_stack **list_stack, struct state_list *slist);
  58
  59 struct state_list *pop_slist(struct state_list_stack **list_stack);
  60
  61 void free_slist(struct state_list **slist);
  62 void free_stack(struct state_list_stack **stack);
  63 void free_stack_and_slists(struct state_list_stack **slist_stack);
  64
  65 void set_state_stack(struct state_list_stack **stack, const char *name,
  66                      int owner, struct symbol *sym, struct smatch_state *state);
  67
  68 struct smatch_state *get_state_stack(struct state_list_stack *stack, const char *name,
  69                     int owner, struct symbol *sym);
  70
  71 void merge_slist(struct state_list **to, struct state_list *slist);
  72 void and_slist_stack(struct state_list_stack **slist_stack);
  73
  74 void or_slist_stack(struct state_list_stack **pre_conds,
  75                     struct state_list *cur_slist,
  76                     struct state_list_stack **slist_stack);
  77
  78 struct state_list **get_slist_from_named_stack(struct named_stack *stack,
  79                                               const char *name);
  80
  81 void overwrite_slist(struct state_list *from, struct state_list **to);