Home
last modified time | relevance | path

Searched refs:stree_stack (Results 1 – 13 of 13) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.h47 void overwrite_sm_state_stree_stack(struct stree_stack **stack, struct sm_state *sm);
55 void delete_state_stree_stack(struct stree_stack **stack, int owner, const char *name,
58 void push_stree(struct stree_stack **list_stack, struct stree *stree);
59 struct stree *pop_stree(struct stree_stack **list_stack);
60 struct stree *top_stree(struct stree_stack *stack);
63 void free_stree_stack(struct stree_stack **stack);
64 void free_stack_and_strees(struct stree_stack **stree_stack);
67 struct sm_state *set_state_stree_stack(struct stree_stack **stack, int owner, const char *name,
70 struct sm_state *get_sm_state_stree_stack(struct stree_stack *stack,
73 struct smatch_state *get_state_stree_stack(struct stree_stack *stack, int owner,
[all …]
H A Dsmatch_returns.c31 DECLARE_PTR_LIST(stree_stack_stack, struct stree_stack);
32 static void push_stree_stack(struct stree_stack_stack **stack_stack, struct stree_stack *stack) in push_stree_stack()
37 static struct stree_stack *pop_stree_stack(struct stree_stack_stack **stack_stack) in pop_stree_stack()
39 struct stree_stack *stack; in pop_stree_stack()
46 static struct stree_stack *return_stree_stack;
49 static struct stree_stack *saved_stack;
113 struct stree_stack *get_all_return_strees(void) in get_all_return_strees()
H A Dsmatch_slist.c32 static struct stree_stack *all_pools;
554 void overwrite_sm_state_stree_stack(struct stree_stack **stack, in overwrite_sm_state_stree_stack()
601 void delete_state_stree_stack(struct stree_stack **stack, int owner, const char *name, in delete_state_stree_stack()
611 void push_stree(struct stree_stack **stack, struct stree *stree) in push_stree()
616 struct stree *pop_stree(struct stree_stack **stack) in pop_stree()
625 struct stree *top_stree(struct stree_stack *stack) in top_stree()
635 void free_stree_stack(struct stree_stack **stack) in free_stree_stack()
640 void free_stack_and_strees(struct stree_stack **stree_stack) in free_stack_and_strees() argument
644 FOR_EACH_PTR(*stree_stack, stree) { in free_stack_and_strees()
647 free_stree_stack(stree_stack); in free_stack_and_strees()
[all …]
H A Dsmatch_states.c49 static struct stree_stack *true_stack; /* states after a t/f branch */
50 static struct stree_stack *false_stack;
51 static struct stree_stack *pre_cond_stack; /* states before a t/f branch */
53 static struct stree_stack *cond_true_stack; /* states affected by a branch */
54 static struct stree_stack *cond_false_stack;
56 static struct stree_stack *fake_cur_stree_stack;
59 static struct stree_stack *break_stack;
60 static struct stree_stack *fake_break_stack;
61 static struct stree_stack *switch_stack;
63 static struct stree_stack *default_stack;
[all …]
H A Dsmatch_start_states.c30 static struct stree_stack *saved_stack;
H A Dsmatch_param_used.c24 static struct stree_stack *saved_stack;
H A Dsmatch_param_limit.c53 static struct stree_stack *saved_stack;
H A Dsmatch_param_filter.c39 static struct stree_stack *saved_stack;
H A Dcheck_atomic_inc_dec.c46 static struct stree_stack *saved_stack;
H A Dsmatch_type_val.c41 struct stree_stack *fn_type_val_stack;
H A Dsmatch.h78 DECLARE_PTR_LIST(stree_stack, struct stree);
1266 struct stree_stack *get_all_return_strees(void);
H A Dsmatch_kernel_user_data.c58 static struct stree_stack *saved_stack;
H A Dcheck_locking.c432 static struct stree_stack *saved_stack;