/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_slist.h | 1 struct stree; 11 struct stree *stree; member 22 void __print_stree(struct stree *stree); 46 void overwrite_sm_state_stree(struct stree **stree, struct sm_state *sm); 58 void push_stree(struct stree_stack **list_stack, struct stree *stree); 78 void merge_stree(struct stree **to, struct stree *stree); 79 void merge_stree_no_pools(struct stree **to, struct stree *stree); 80 void merge_stree(struct stree **to, struct stree *right); 81 void merge_fake_stree(struct stree **to, struct stree *stree); 82 void filter_stree(struct stree **stree, struct stree *filter); [all …]
|
H A D | smatch_states.c | 203 struct stree *__swap_cur_stree(struct stree *stree) in __swap_cur_stree() argument 227 struct stree *stree; in __free_fake_cur_stree() local 494 struct stree *stree; in delete_all_states_stree_stack_sym() local 846 struct stree *stree; in __use_cond_stack() local 952 struct stree *stree; in __discard_false_states() local 960 struct stree *stree; in __merge_false_states() local 1003 struct stree *stree; in update_fake_stree_with_merged() local 1014 struct stree *stree; in __merge_true_states() local 1029 struct stree *stree; in __discard_continues() local 1037 struct stree *stree; in __process_continues() local [all …]
|
H A D | smatch_slist.c | 77 void __print_stree(struct stree *stree) in __print_stree() argument 557 struct stree *stree; in overwrite_sm_state_stree_stack() local 604 struct stree *stree; in delete_state_stree_stack() local 618 struct stree *stree; in pop_stree() local 642 struct stree *stree; in free_stack_and_strees() local 653 struct stree *stree; in set_state_stree_stack() local 670 struct stree *stree; in get_sm_state_stree_stack() local 889 void merge_stree(struct stree **to, struct stree *stree) in merge_stree() argument 906 void merge_fake_stree(struct stree **to, struct stree *stree) in merge_fake_stree() argument 909 struct stree *two = stree; in merge_fake_stree() [all …]
|
H A D | avl.h | 34 struct stree { struct 36 struct stree *base_stree; argument 43 void free_stree(struct stree **avl); argument 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); 116 void avl_iter_begin(AvlIter *iter, struct stree *avl, AvlDirection dir); 136 struct stree *clone_stree(struct stree *orig); 138 void set_stree_id(struct stree **stree, int id); [all …]
|
H A D | avl.c | 59 static struct stree *avl_new(void) in avl_new() 122 static struct stree *clone_stree_real(struct stree *orig) in clone_stree_real() 124 struct stree *new = avl_new(); in clone_stree_real() 502 struct stree *clone_stree(struct stree *orig) in clone_stree() 511 void set_stree_id(struct stree **stree, int stree_id) in set_stree_id() argument 513 if ((*stree)->stree_id != 0) in set_stree_id() 514 *stree = clone_stree_real(*stree); in set_stree_id() 516 (*stree)->stree_id = stree_id; in set_stree_id() 519 int get_stree_id(struct stree *stree) in get_stree_id() argument 521 if (!stree) in get_stree_id() [all …]
|
H A D | smatch_function_hooks.c | 359 struct stree *stree; member 653 struct stree *stree; in db_compare_callback() local 739 struct stree *stree; in compare_db_return_states_callbacks() local 782 merge_fake_stree(&db_info.stree, stree); in compare_db_return_states_callbacks() 808 merge_fake_stree(&db_info.stree, stree); in compare_db_return_states_callbacks() 914 struct stree *stree; in db_assign_return_states_callback() local 983 struct stree *stree; in db_return_states_assign() local 1010 merge_fake_stree(&db_info.stree, stree); in db_return_states_assign() 1103 struct stree *stree; in db_return_states_callback() local 1178 struct stree *stree; in db_return_states() local [all …]
|
H A D | smatch_implied.c | 588 struct stree *pre_stree, in filter_stack() 592 struct stree *ret = NULL; in filter_stack() 629 struct stree *pre_stree, in separate_and_filter() 630 struct stree **true_states, in separate_and_filter() 725 static void delete_gate_sm(struct stree **stree, const char *name, struct symbol *sym) in delete_gate_sm() argument 826 struct stree *pre_stree; in handled_by_comparison_hook() 873 struct stree *pre_stree; in handled_by_parsed_conditions() 898 struct stree *pre_stree; in handled_by_stored_conditions() 1099 struct stree *extra_states; in __implied_case_stree() 1180 struct stree *pre_stree; in overwrite_states_using_pool() [all …]
|
H A D | smatch_returns.c | 48 static struct stree *all_return_states; 62 struct stree *orig; in call_hooks() 73 struct stree *stree; in match_return() local 75 stree = clone_stree(__get_cur_stree()); in match_return() 76 merge_stree_no_pools(&all_return_states, stree); in match_return() 77 push_stree(&return_stree_stack, stree); in match_return() 108 struct stree *get_all_return_states(void) in get_all_return_states()
|
H A D | smatch_conditions.c | 211 static struct stree *combine_strees(struct stree *orig, struct stree *fake, struct stree *new) in combine_strees() 213 struct stree *ret = NULL; in combine_strees() 236 struct stree *a_T = NULL; in handle_select() 237 struct stree *a_F = NULL; in handle_select() 238 struct stree *a_T_b_T = NULL; in handle_select() 239 struct stree *a_T_b_F = NULL; in handle_select() 240 struct stree *a_T_b_fake = NULL; in handle_select() 241 struct stree *a_F_c_T = NULL; in handle_select() 242 struct stree *a_F_c_F = NULL; in handle_select() 243 struct stree *a_F_c_fake = NULL; in handle_select() [all …]
|
H A D | check_return_enomem.c | 32 struct stree *stree; in match_return() local 46 stree = __get_cur_stree(); in match_return() 48 FOR_EACH_MY_SM(SMATCH_EXTRA, stree, sm) { in match_return()
|
H A D | smatch_container_of.c | 380 struct stree *stree; member 450 static void set_param_value(struct stree **stree, struct symbol *arg, int offset, struct range_list… in set_param_value() argument 457 set_state_stree(stree, SMATCH_EXTRA, name, arg, alloc_estate_rl(rl)); in set_param_value() 477 set_param_value(&db_info->stree, db_info->arg, db_info->prev_offset, db_info->rl); in save_vals() 502 static struct stree *load_tag_info_sym(mtag_t tag, struct symbol *arg, int arg_offset, int star) in load_tag_info_sym() 536 set_param_value(&db_info.stree, arg, db_info.prev_offset, db_info.rl); in load_tag_info_sym() 546 return db_info.stree; in load_tag_info_sym() 554 struct stree *stree; in load_container_data() local 610 stree = load_tag_info_sym(arg_tag, arg, arg_offset, star); in load_container_data() 611 FOR_EACH_SM(stree, sm) { in load_container_data() [all …]
|
H A D | check_template.c | 88 struct stree *stree; in match_return() local 94 stree = __get_cur_stree(); in match_return() 95 FOR_EACH_MY_SM(my_id, stree, tmp) { in match_return()
|
H A D | check_debug.c | 36 struct stree *stree; in match_all_values() local 38 stree = get_all_states_stree(SMATCH_EXTRA); in match_all_values() 39 __print_stree(stree); in match_all_values() 40 free_stree(&stree); in match_all_values() 99 struct stree *stree; in match_print_value() local 109 stree = __get_cur_stree(); in match_print_value() 354 struct stree *stree; in match_possible() local 364 stree = __get_cur_stree(); in match_possible() 447 struct stree *stree; in match_dump_related() local 450 stree = __get_cur_stree(); in match_dump_related() [all …]
|
H A D | check_held_dev.c | 68 struct stree *stree; in check_for_held() local 71 stree = __get_cur_stree(); in check_for_held() 72 FOR_EACH_MY_SM(my_id, stree, tmp) { in check_for_held()
|
H A D | check_puts_argument.c | 66 struct stree *stree; in match_return() local 74 stree = __get_cur_stree(); in match_return() 75 FOR_EACH_MY_SM(my_id, stree, tmp) { in match_return()
|
H A D | check_frees_argument.c | 69 struct stree *stree; in match_return() local 77 stree = __get_cur_stree(); in match_return() 78 FOR_EACH_MY_SM(my_id, stree, tmp) { in match_return()
|
H A D | check_nospec.c | 99 struct stree *start_states = get_start_states(); in returned_struct_members() 203 struct stree *stree; in mark_user_data_as_nospec() local 207 stree = get_user_stree(); in mark_user_data_as_nospec() 208 FOR_EACH_SM(stree, sm) { in mark_user_data_as_nospec() 218 free_stree(&stree); in mark_user_data_as_nospec()
|
H A D | smatch.h | 88 struct stree *pool; 226 extern struct stree *global_states; 373 struct stree *get_all_states_from_stree(int owner, struct stree *source); 375 struct stree *__get_cur_stree(void); 599 struct stree **raw_stree); 713 struct stree *__swap_cur_stree(struct stree *stree); 715 struct stree *__pop_fake_cur_stree(); 717 void __set_fake_cur_stree_fast(struct stree *stree); 719 void __merge_stree_into_cur(struct stree *stree); 1079 struct stree *get_user_stree(void); [all …]
|
H A D | smatch_param_cleared.c | 75 struct stree *stree; in print_return_value_param() local 80 stree = __get_cur_stree(); in print_return_value_param() 82 FOR_EACH_MY_SM(my_id, stree, sm) { in print_return_value_param()
|
H A D | smatch_db.c | 921 FOR_EACH_SM(stree, sm) { in print_struct_members() 974 struct stree *stree; in match_call_info() local 989 free_stree(&stree); in match_call_info() 999 struct stree *stree; in match_call_info_new() local 1014 free_stree(&stree); in match_call_info_new() 1071 struct stree *stree; in caller_info_callback() local 1098 free_stree(&stree); in caller_info_callback() 1175 struct stree *stree; in match_data_from_db() local 1210 free_stree(&stree); in match_data_from_db() 1251 free_stree(&stree); in match_data_from_db() [all …]
|
H A D | check_leaks.c | 228 struct stree *stree; in check_for_allocated() local 231 stree = __get_cur_stree(); in check_for_allocated() 232 FOR_EACH_MY_SM(my_id, stree, tmp) { in check_for_allocated()
|
H A D | check_unwind.c | 136 struct stree *stree; in match_return() local 149 stree = __get_cur_stree(); in match_return() 150 FOR_EACH_MY_SM(my_id, stree, tmp) { in match_return()
|
H A D | smatch_start_states.c | 29 static struct stree *start_states; 53 struct stree *get_start_states(void) in get_start_states()
|
/illumos-gate/usr/src/lib/libcmdutils/common/ |
H A D | avltree.c | 162 add_tnode(avl_tree_t **stree, dev_t device, ino_t inode) in add_tnode() argument 171 if (*stree == NULL) { in add_tnode() 172 if ((*stree = calloc(1, sizeof (avl_tree_t))) in add_tnode() 176 avl_create(*stree, in add_tnode() 190 if (avl_find(*stree, tnode, &where) == NULL) { in add_tnode() 191 avl_insert(*stree, tnode, where); in add_tnode() 204 destroy_tree(avl_tree_t *stree) in destroy_tree() argument 209 if (stree != NULL) { in destroy_tree() 212 while ((tnode = avl_destroy_nodes(stree, &cookie)) != NULL) { in destroy_tree() 215 avl_destroy(stree); in destroy_tree() [all …]
|
/illumos-gate/usr/src/lib/libslp/clib/ |
H A D | SLPUtils.c | 65 void *stree = NULL; in SLPFindScopes() local 97 &stree, &collator, &numResults); in SLPFindScopes() 101 &stree, &collator, &numResults); in SLPFindScopes() 109 if (!stree) { in SLPFindScopes() 110 (void) SAAdvert_for_scopes(hSLP, &stree); in SLPFindScopes() 113 if (!stree) { in SLPFindScopes() 123 slp_twalk(stree, collect_scopes, 0, (void *) ppcScopes); in SLPFindScopes() 178 SLPError err, void **stree) { in saadvert_callback() argument 199 (void *) ascope, stree, in saadvert_callback() 214 static SLPError SAAdvert_for_scopes(SLPHandle hSLP, void **stree) { in SAAdvert_for_scopes() argument [all …]
|