Searched refs:stree (Results 1 - 25 of 46) sorted by relevance

12

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.h1 struct stree;
11 struct stree *stree; member in struct:named_stree
22 void __print_stree(struct stree *stree);
40 struct smatch_state *get_state_stree(struct stree *stree, int owner, const char *name,
43 struct sm_state *get_sm_state_stree(struct stree *stree, int owner, const char *name,
46 void overwrite_sm_state_stree(struct stree **stre
[all...]
H A Davl.h34 struct stree { struct
36 struct stree *base_stree;
43 void free_stree(struct stree **avl);
44 /* Free an stree tree. */
46 struct sm_state *avl_lookup(const struct stree *avl, const struct sm_state *sm);
52 size_t stree_count(const struct stree *avl);
55 bool avl_insert(struct stree **avl, const struct sm_state *sm);
62 bool avl_remove(struct stree **avl, const struct sm_state *sm);
69 bool avl_check_invariants(struct stree *avl);
77 * O(n). Traverse an stree tre
[all...]
H A Dsmatch_states.c46 static struct stree *cur_stree; /* current states */
47 static struct stree *fast_overlay;
144 struct stree *__swap_cur_stree(struct stree *stree) argument
146 struct stree *orig = cur_stree;
148 cur_stree = stree;
158 struct stree *__pop_fake_cur_stree(void)
168 struct stree *stree; local
174 __set_fake_cur_stree_fast(struct stree *stree) argument
190 __merge_stree_into_cur(struct stree *stree) argument
416 delete_all_states_stree_sym(struct stree **stree, struct symbol *sym) argument
435 struct stree *stree; local
787 struct stree *stree; local
893 struct stree *stree; local
901 struct stree *stree; local
923 update_stree_with_merged(struct stree **stree) argument
944 struct stree *stree; local
955 struct stree *stree; local
970 struct stree *stree; local
978 struct stree *stree; local
991 struct stree *stree; local
1007 struct stree *stree; local
1029 struct stree *stree; local
1040 struct stree *stree; local
1060 struct stree *stree; local
1094 struct stree *stree; local
1115 struct stree *stree; local
1134 struct stree *stree; local
1144 alloc_named_stree(const char *name, struct symbol *sym, struct stree *stree) argument
1156 struct stree **stree; local
1174 struct stree **stree; local
[all...]
H A Dsmatch_slist.c77 void __print_stree(struct stree *stree) argument
82 sm_msg("dumping stree [%ld states]", stree_count(stree));
83 FOR_EACH_SM(stree, sm) {
517 struct sm_state *get_sm_state_stree(struct stree *stree, int owner, const char *name, argument
530 return avl_lookup(stree, (struct sm_state *)&tracker);
533 struct smatch_state *get_state_stree(struct stree *stree, argument
546 overwrite_sm_state_stree(struct stree **stree, struct sm_state *new) argument
554 struct stree *stree; local
561 set_state_stree(struct stree **stree, int owner, const char *name, struct symbol *sym, struct smatch_state *state) argument
570 set_state_stree_perm(struct stree **stree, int owner, const char *name, struct symbol *sym, struct smatch_state *state) argument
586 delete_state_stree(struct stree **stree, int owner, const char *name, struct symbol *sym) argument
601 struct stree *stree; local
608 push_stree(struct stree_stack **stack, struct stree *stree) argument
615 struct stree *stree; local
639 struct stree *stree; local
650 struct stree *stree; local
667 struct stree *stree; local
781 clone_pool_havers_stree(struct stree **stree) argument
806 __merge_stree(struct stree **to, struct stree *stree, int add_pool) argument
886 merge_stree(struct stree **to, struct stree *stree) argument
891 merge_stree_no_pools(struct stree **to, struct stree *stree) argument
903 merge_fake_stree(struct stree **to, struct stree *stree) argument
975 filter_stree(struct stree **stree, struct stree *filter) argument
[all...]
H A Dcheck_return_enomem.c32 struct stree *stree; local
46 stree = __get_cur_stree();
48 FOR_EACH_MY_SM(SMATCH_EXTRA, stree, sm) {
H A Dsmatch_returns.c48 static struct stree *all_return_states;
62 struct stree *orig;
73 struct stree *stree; local
75 stree = clone_stree(__get_cur_stree());
76 merge_stree_no_pools(&all_return_states, stree);
77 push_stree(&return_stree_stack, stree);
83 * FIXME: either this isn't needed or we need to copy a stree into the
108 struct stree *get_all_return_states(void)
H A Davl.c32 static AvlNode *lookup(const struct stree *avl, AvlNode *node, const struct sm_state *sm);
34 static bool insert_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm);
35 static bool remove_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm, AvlNode **ret);
42 static bool checkOrder(struct stree *avl);
59 static struct stree *avl_new(void)
61 struct stree *avl = malloc(sizeof(*avl));
75 void free_stree(struct stree **avl)
95 struct sm_state *avl_lookup(const struct stree *avl, const struct sm_state *sm)
110 AvlNode *avl_lookup_node(const struct stree *avl, const struct sm_state *sm)
115 size_t stree_count(const struct stree *av
511 set_stree_id(struct stree **stree, int stree_id) argument
519 get_stree_id(struct stree *stree) argument
[all...]
H A Dsmatch_start_states.c29 static struct stree *start_states;
53 struct stree *get_start_states(void)
H A Dcheck_template.c88 struct stree *stree; local
94 stree = __get_cur_stree();
95 FOR_EACH_MY_SM(my_id, stree, tmp) {
H A Dsmatch_function_hooks.c255 struct stree *tmp_stree;
256 struct stree *final_states = NULL;
303 static void call_implies_callbacks(int comparison, struct expression *expr, sval_t sval, int left, struct stree **implied_true, struct stree **implied_false)
309 struct stree *true_states = NULL;
310 struct stree *false_states = NULL;
311 struct stree *tmp_stree;
359 struct stree *stree; member in struct:db_callback_info
621 struct stree *stre local
707 struct stree *stree; local
880 struct stree *stree; local
947 struct stree *stree; local
1066 struct stree *stree; local
1140 struct stree *stree; local
[all...]
H A Dcheck_held_dev.c68 struct stree *stree; local
71 stree = __get_cur_stree();
72 FOR_EACH_MY_SM(my_id, stree, tmp) {
H A Dsmatch_implied.c102 printf("'%s = %s' from %d is true. %s[stree %d]\n", sm->name, show_state(sm->state),
106 printf("'%s = %s' from %d is false. %s[stree %d]\n", sm->name, show_state(sm->state),
111 printf("'%s = %s' from %d could be true or false. %s[stree %d]\n", sm->name,
122 struct stree *true_stree, *false_stree;
207 static int pool_in_pools(struct stree *pool,
221 static int remove_pool(struct state_list **pools, struct stree *remove)
357 sm_msg("TRUE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool));
361 sm_msg("MAYBE %s %s[stree %d]",
366 sm_msg("FALSE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool));
426 n += snprintf(buf + n, sizeof(buf) - n, "[stree
665 delete_gate_sm_equiv(struct stree **stree, const char *name, struct symbol *sym) argument
678 delete_gate_sm(struct stree **stree, const char *name, struct symbol *sym) argument
[all...]
H A Dcheck_frees_argument.c69 struct stree *stree; local
77 stree = __get_cur_stree();
78 FOR_EACH_MY_SM(my_id, stree, tmp) {
H A Dcheck_puts_argument.c66 struct stree *stree; local
74 stree = __get_cur_stree();
75 FOR_EACH_MY_SM(my_id, stree, tmp) {
H A Dsmatch_param_cleared.c75 struct stree *stree; local
80 stree = __get_cur_stree();
82 FOR_EACH_MY_SM(my_id, stree, sm) {
H A Dsmatch_conditions.c211 static struct stree *combine_strees(struct stree *orig, struct stree *fake, struct stree *new)
213 struct stree *ret = NULL;
236 struct stree *a_T = NULL;
237 struct stree *a_F = NULL;
238 struct stree *a_T_b_T = NULL;
239 struct stree *a_T_b_F = NULL;
240 struct stree *a_T_b_fak
[all...]
H A Dsmatch_ignore.c22 static struct stree *ignored;
23 static struct stree *ignored_from_file;
H A Dcheck_atomic_inc_dec.c161 struct stree *stree; local
166 FOR_EACH_PTR(get_all_return_strees(), stree) {
167 return_sm = get_sm_state_stree(stree, RETURN_ID, "return_ranges", NULL);
172 sm = get_sm_state_stree(stree, my_id, name, sym);
185 } END_FOR_EACH_PTR(stree);
H A Dcheck_nospec.c99 struct stree *start_states = get_start_states();
203 struct stree *stree; local
207 stree = get_user_stree();
208 FOR_EACH_SM(stree, sm) {
218 free_stree(&stree);
H A Dsmatch_container_of.c380 struct stree *stree; member in struct:db_info
450 static void set_param_value(struct stree **stree, struct symbol *arg, int offset, struct range_list *rl) argument
457 set_state_stree(stree, SMATCH_EXTRA, name, arg, alloc_estate_rl(rl));
477 set_param_value(&db_info->stree, db_info->arg, db_info->prev_offset, db_info->rl);
502 static struct stree *load_tag_info_sym(mtag_t tag, struct symbol *arg, int arg_offset, int star)
536 set_param_value(&db_info.stree, arg, db_info.prev_offset, db_info.rl);
544 set_state_stree(&db_info.stree, SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_sval(sval));
546 return db_info.stree;
554 struct stree *stree; local
[all...]
H A Dcheck_debug.c36 struct stree *stree; local
38 stree = get_all_states_stree(SMATCH_EXTRA);
39 __print_stree(stree);
40 free_stree(&stree);
108 struct stree *stree; local
118 stree = __get_cur_stree();
119 FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) {
360 struct stree *stre local
453 struct stree *stree; local
[all...]
H A Dcheck_leaks.c228 struct stree *stree; local
231 stree = __get_cur_stree();
232 FOR_EACH_MY_SM(my_id, stree, tmp) {
H A Dcheck_unwind.c136 struct stree *stree; local
149 stree = __get_cur_stree();
150 FOR_EACH_MY_SM(my_id, stree, tmp) {
/illumos-gate/usr/src/lib/libcmdutils/common/
H A Davltree.c104 * avl_tree_t **stree (search tree the data is to be stored in)
119 * avl_tree_t *stree (search tree to destroy)
162 add_tnode(avl_tree_t **stree, dev_t device, ino_t inode) argument
171 if (*stree == NULL) {
172 if ((*stree = calloc(1, sizeof (avl_tree_t)))
176 avl_create(*stree,
190 if (avl_find(*stree, tnode, &where) == NULL) {
191 avl_insert(*stree, tnode, where);
204 destroy_tree(avl_tree_t *stree) argument
209 if (stree !
[all...]
/illumos-gate/usr/src/lib/libslp/clib/
H A DSLPUtils.c65 void *stree = NULL; local
97 &stree, &collator, &numResults);
101 &stree, &collator, &numResults);
109 if (!stree) {
110 (void) SAAdvert_for_scopes(hSLP, &stree);
113 if (!stree) {
123 slp_twalk(stree, collect_scopes, 0, (void *) ppcScopes);
178 SLPError err, void **stree) {
199 (void *) ascope, stree,
211 * from all recieved SAAdverts in stree
177 saadvert_callback(SLPHandle hp, char *scopes, SLPError err, void **stree) argument
214 SAAdvert_for_scopes(SLPHandle hSLP, void **stree) argument
[all...]

Completed in 281 milliseconds

12