smatch_slist.h

   1 DECLARE_ALLOCATOR(sm_state);
   2 DECLARE_PTR_LIST(state_list, struct sm_state);
   3 DECLARE_PTR_LIST(state_list_stack, struct state_list);
   4 struct named_slist {
   5         char *name;
   6         struct state_list *slist;
   7 };
   8 DECLARE_ALLOCATOR(named_slist);
   9 DECLARE_PTR_LIST(named_stack, struct named_slist);
  10
  11 extern struct state_list_stack *implied_pools;
  12
  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,
  17                              struct symbol *sym,
  18                              struct smatch_state *state);
  19
  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);
  24
  25 int slist_has_state(struct state_list *slist, struct smatch_state *state);
  26 struct smatch_state *merge_states(const char *name, int owner,
  27                                   struct symbol *sym,
  28                                   struct smatch_state *state1,
  29                                   struct smatch_state *state2);
  30
  31 struct smatch_state *get_state_slist(struct state_list *slist, const char *name, int owner,
  32                     struct symbol *sym);
  33
  34 struct sm_state *get_sm_state_slist(struct state_list *slist, const char *name, int owner,
  35                     struct symbol *sym);
  36
  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);
  42
  43 void merge_state_slist(struct state_list **slist, const char *name, int owner,
  44                        struct symbol *sym, struct smatch_state *state);
  45
  46 void delete_state_slist(struct state_list **slist, const char *name, int owner,
  47                         struct symbol *sym);
  48
  49 struct smatch_state *get_state_slist(struct state_list *slist, const char *name, int owner,
  50                     struct symbol *sym);
  51
  52 void push_slist(struct state_list_stack **list_stack, struct state_list *slist);
  53
  54 struct state_list *pop_slist(struct state_list_stack **list_stack);
  55
  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);
  59
  60 void set_state_stack(struct state_list_stack **stack, const char *name,
  61                      int owner, struct symbol *sym, struct smatch_state *state);
  62
  63 struct smatch_state *get_state_stack(struct state_list_stack *stack, const char *name,
  64                     int owner, struct symbol *sym);
  65
  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);
  72
  73 void or_slist_stack(struct state_list_stack **slist_stack);
  74
  75 struct state_list **get_slist_from_named_stack(struct named_stack *stack,
  76                                               const char *name);
  77
  78 void overwrite_slist(struct state_list *from, struct state_list **to);