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