smatch_slist.h

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