smatch_slist.h

   1 struct state_history {
   2         unsigned int loc;
   3 };
   4 DECLARE_PTR_LIST(history_list, struct state_history);
   5
   6 struct sm_state {
   7         char *name;
   8         unsigned int owner;
   9         struct symbol *sym;
  10         struct smatch_state *state;
  11         struct history_list *line_history;
  12 };
  13
  14 DECLARE_ALLOCATOR(sm_state);
  15 DECLARE_PTR_LIST(state_list, struct sm_state);
  16 DECLARE_PTR_LIST(state_list_stack, struct state_list);
  17 struct named_slist {
  18         char *name;
  19         struct state_list *slist;
  20 };
  21 DECLARE_ALLOCATOR(named_slist);
  22 DECLARE_PTR_LIST(slist_stack, struct named_slist);
  23
  24 void add_history(struct sm_state *state);
  25 struct sm_state *alloc_state(const char *name, int owner,
  26                              struct symbol *sym,
  27                              struct smatch_state *state);
  28
  29 struct sm_state *clone_state(struct sm_state *s);
  30 struct state_list *clone_slist(struct state_list *from_slist);
  31
  32 struct smatch_state *merge_states(const char *name, int owner,
  33                                   struct symbol *sym,
  34                                   struct smatch_state *state1,
  35                                   struct smatch_state *state2);
  36
  37 struct smatch_state *get_state_slist(struct state_list *slist, const char *name, int owner,
  38                     struct symbol *sym);
  39
  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 del_slist(struct state_list **slist);
  57
  58 void del_slist_stack(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 void filter(struct state_list **slist, struct state_list *filter);
  68 void and_slist_stack(struct state_list_stack **slist_stack);
  69
  70 void or_slist_stack(struct state_list_stack **slist_stack);
  71
  72 struct state_list **get_slist_from_slist_stack(struct slist_stack *stack,
  73                                               const char *name);
  74
  75 void overwrite_slist(struct state_list *from, struct state_list **to);