/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_slist.h | 5 DECLARE_PTR_LIST(state_list, struct sm_state); 21 const char *show_sm(struct sm_state *sm); 23 void add_history(struct sm_state *sm); 24 int cmp_tracker(const struct sm_state *a, const struct sm_state *b); 26 struct sm_state *alloc_sm_state(int owner, const char *name, 30 struct sm_state *clone_sm(struct sm_state *s); 31 int is_merged(struct sm_state *sm); 32 int is_leaf(struct sm_state *sm); 37 int too_many_possible(struct sm_state *sm); 38 void add_possible_sm(struct sm_state *to, struct sm_state *new); [all …]
|
H A D | smatch_slist.c | 37 struct sm_state *tmp; in show_sm() 79 struct sm_state *sm; in __print_stree() 91 int cmp_tracker(const struct sm_state *a, const struct sm_state *b) in cmp_tracker() 191 struct sm_state *sm_state = __alloc_sm_state(0); in alloc_sm_state() local 197 sm_state->sym = sym; in alloc_sm_state() 205 add_ptr_list(&sm_state->possible, sm_state); in alloc_sm_state() 206 return sm_state; in alloc_sm_state() 227 void add_possible_sm(struct sm_state *to, struct sm_state *new) in add_possible_sm() 250 static void copy_possibles(struct sm_state *to, struct sm_state *one, struct sm_state *two) in copy_possibles() 384 struct sm_state *clone_sm(struct sm_state *s) in clone_sm() [all …]
|
H A D | avl.h | 29 struct sm_state; 46 struct sm_state *avl_lookup(const struct stree *avl, const struct sm_state *sm); 55 bool avl_insert(struct stree **avl, const struct sm_state *sm); 62 bool avl_remove(struct stree **avl, const struct sm_state *sm); 107 struct sm_state *sm; 127 const struct sm_state *sm; 133 AvlNode *avl_lookup_node(const struct stree *avl, const struct sm_state *sm);
|
H A D | smatch_implied.c | 213 struct sm_state *tmp; in add_pool() 231 struct sm_state *tmp; in pool_in_pools() 244 struct sm_state *tmp; in remove_pool() 329 struct sm_state *tmp; in is_checked() 393 struct sm_state *tmp; in separate_pools() 401 struct sm_state *sm; in separate_pools() 499 struct sm_state *filter_pools(struct sm_state *sm, in filter_pools() 699 struct sm_state *sm; in is_merged_expr() 784 struct sm_state *sm; in handle_zero_comparison() 874 struct sm_state *sm; in handled_by_parsed_conditions() [all …]
|
H A D | avl.c | 29 static AvlNode *mkNode(const struct sm_state *sm); 34 static bool insert_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm); 95 struct sm_state *avl_lookup(const struct stree *avl, const struct sm_state *sm) in avl_lookup() 107 return (struct sm_state *)found->sm; in avl_lookup() 110 AvlNode *avl_lookup_node(const struct stree *avl, const struct sm_state *sm) in avl_lookup_node() 134 bool avl_insert(struct stree **avl, const struct sm_state *sm) in avl_insert() 152 bool avl_remove(struct stree **avl, const struct sm_state *sm) in avl_remove() 177 static AvlNode *mkNode(const struct sm_state *sm) in mkNode() 429 const struct sm_state *last = NULL; in checkOrder() 472 iter->sm = (struct sm_state *) node->sm; in avl_iter_begin() [all …]
|
H A D | smatch_param_filter.c | 62 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() 75 static void pre_merge_hook(struct sm_state *cur, struct sm_state *other) in pre_merge_hook() 136 int param, struct sm_state *sm, struct string_list **totally_filtered) in print_one_mod_param() 161 struct sm_state *tmp; in print_return_value_param() 162 struct sm_state *sm; in print_return_value_param() 186 int param_has_filter_data(struct sm_state *sm) in param_has_filter_data()
|
H A D | smatch_states.c | 79 struct sm_state *sm; in __print_states() 153 struct sm_state *ret; in set_state() 251 struct sm_state *sm; in __merge_stree_into_cur() 252 struct sm_state *orig; in __merge_stree_into_cur() 367 struct sm_state *sm; in __get_state() 400 struct sm_state *sms; in get_possible_states() 426 struct sm_state *ret; in get_sm_state() 478 struct sm_state *sm; in delete_all_states_stree_sym() 790 struct sm_state *sm; in __fold_in_set_states() 1100 struct sm_state *sm; in __merge_breaks() [all …]
|
H A D | check_atomic_inc_dec.c | 30 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() 58 static struct sm_state *get_best_match(const char *key) in get_best_match() 60 struct sm_state *sm; in get_best_match() 61 struct sm_state *match; in get_best_match() 99 struct sm_state *start_sm; in db_inc_dec() 262 static bool is_maybe_dec(struct sm_state *sm) in is_maybe_dec() 274 struct sm_state *sm; in match_return_info() 326 struct sm_state *return_sm; in check_counter() 327 struct sm_state *sm; in check_counter() 387 struct sm_state *sm; in match_check_missed() [all …]
|
H A D | check_check_deref.c | 43 static void is_ok(struct sm_state *sm, struct expression *mod_expr) in is_ok() 50 struct sm_state *sm; in check_dereference() 51 struct sm_state *tmp; in check_dereference() 82 struct sm_state *sm; in check_dereference_name_sym() 83 struct sm_state *tmp; in check_dereference_name_sym()
|
H A D | check_snprintf.c | 24 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use() 42 static int get_old_buflen(struct sm_state *sm) in get_old_buflen() 44 struct sm_state *tmp; in get_old_buflen() 57 struct sm_state *sm; in match_call()
|
H A D | smatch_hooks.c | 84 void (**pre_merge_hooks)(struct sm_state *cur, struct sm_state *other); 121 void add_pre_merge_hook(int client_id, void (*hook)(struct sm_state *cur, struct sm_state *other)) in add_pre_merge_hook() 212 struct smatch_state *__client_unmatched_state_function(struct sm_state *sm) in __client_unmatched_state_function() 223 void call_pre_merge_hook(struct sm_state *cur, struct sm_state *other) in call_pre_merge_hook()
|
H A D | check_free_strict.c | 33 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use() 39 static void pre_merge_hook(struct sm_state *cur, struct sm_state *other) in pre_merge_hook() 45 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() 64 struct sm_state *sm; in is_freed() 245 struct sm_state *sm; in set_param_freed() 315 struct sm_state *sm; in match_untracked()
|
H A D | smatch.h | 81 struct sm_state { struct 89 struct sm_state *left; argument 90 struct sm_state *right; argument 170 void add_pre_merge_hook(int client_id, void (*hook)(struct sm_state *cur, struct sm_state *other)); 600 void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm); 724 void __set_sm(struct sm_state *sm); 725 void __set_sm_cur_stree(struct sm_state *sm); 726 void __set_sm_fake_stree(struct sm_state *sm); 728 struct sm_state *false_state); 807 void call_pre_merge_hook(struct sm_state *cur, struct sm_state *other); [all …]
|
H A D | check_deref.c | 54 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() 59 static void is_ok(struct sm_state *sm, struct expression *mod_expr) in is_ok() 66 struct sm_state *sm; in check_dereference() 67 struct sm_state *tmp; in check_dereference() 106 struct sm_state *sm; in check_dereference_name_sym() 107 struct sm_state *tmp; in check_dereference_name_sym()
|
H A D | check_frees_param.c | 33 static void set_ignore(struct sm_state *sm, struct expression *mod_expr) in set_ignore() 40 struct sm_state *sm; in freed_variable() 72 struct sm_state *sm; in process_states()
|
H A D | check_kunmap.c | 54 struct sm_state *sm; in match_kunmap_atomic() 67 struct sm_state *sm; in match_kunmap() 68 struct sm_state *tmp; in match_kunmap()
|
H A D | check_locking.c | 492 static void pre_merge_hook(struct sm_state *cur, struct sm_state *other) in pre_merge_hook() 522 struct sm_state *sm; in get_best_match() 523 struct sm_state *match; in get_best_match() 615 struct sm_state *tmp; in warn_on_double() 639 struct sm_state *sm; in handle_macro_lock_unlock() 690 struct sm_state *sm; in do_lock() 712 struct sm_state *sm; in do_unlock() 911 struct sm_state *sm; in match_return_info() 998 struct sm_state *sm; in check_lock() 1192 struct sm_state *sm; in match_call_info() [all …]
|
H A D | smatch_nul_terminator.c | 74 struct sm_state *sm, *tmp; in get_terminated_state_var_sym() 92 struct sm_state *sm, *tmp; in get_terminated_state() 124 static int sm_to_term(struct sm_state *sm) in sm_to_term() 126 struct sm_state *tmp; in sm_to_term() 141 …struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm) in struct_member_callback() 187 struct sm_state *tmp, *sm; in split_return_info()
|
H A D | smatch_parsed_conditions.c | 69 static void filter_by_sm(struct sm_state *sm, in filter_by_sm() 87 struct sm_state *parsed_condition_implication_hook(struct expression *expr, in parsed_condition_implication_hook() 93 struct sm_state *sm, *tmp; in parsed_condition_implication_hook()
|
H A D | smatch_buf_comparison.c | 42 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() 62 struct sm_state *tmp; in match_link_modify() 156 struct sm_state *sm; in match_alloc_helper() 220 struct sm_state *tmp; in match_calloc() 421 struct sm_state *sm; in array_check_data_info() 620 struct sm_state *tmp; in set_param_compare() 644 struct sm_state *tmp; in set_implied() 664 struct sm_state *sm; in munge_start_states() 665 struct sm_state *poss; in munge_start_states() 695 struct sm_state *tmp; in set_used() [all …]
|
H A D | check_err_ptr_deref.c | 39 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use() 47 struct sm_state *sm; in check_is_err_ptr() 73 struct sm_state *sm; in set_param_dereferenced() 189 struct sm_state *sm; in match_err_ptr() 190 struct sm_state *tmp; in match_err_ptr()
|
H A D | check_dereferences_param.c | 34 static void set_ignore(struct sm_state *sm, struct expression *mod_expr) in set_ignore() 58 struct sm_state *sm; in check_deref() 94 struct sm_state *tmp; in process_states()
|
/illumos-gate/usr/src/uts/common/io/sfxge/ |
H A D | sfxge_mcdi.c | 94 while (smp->sm_state != SFXGE_MCDI_INITIALIZED) { in sfxge_mcdi_acquire() 97 smp->sm_state = SFXGE_MCDI_BUSY; in sfxge_mcdi_acquire() 108 ASSERT((smp->sm_state == SFXGE_MCDI_BUSY) || in sfxge_mcdi_release() 109 (smp->sm_state == SFXGE_MCDI_COMPLETED)); in sfxge_mcdi_release() 111 smp->sm_state = SFXGE_MCDI_INITIALIZED; in sfxge_mcdi_release() 187 ASSERT(smp->sm_state == SFXGE_MCDI_BUSY); in sfxge_mcdi_ev_cpl() 188 smp->sm_state = SFXGE_MCDI_COMPLETED; in sfxge_mcdi_ev_cpl() 301 smp->sm_state = SFXGE_MCDI_INITIALIZED; in sfxge_mcdi_init() 327 smp->sm_state = SFXGE_MCDI_UNINITIALIZED; in sfxge_mcdi_init() 362 smp->sm_state = SFXGE_MCDI_UNINITIALIZED; in sfxge_mcdi_fini() [all …]
|
H A D | sfxge_mon.c | 82 if (smp->sm_state != SFXGE_MON_STARTED) in sfxge_mon_kstat_update() 219 ASSERT3U(smp->sm_state, ==, SFXGE_MON_UNINITIALIZED); in sfxge_mon_init() 242 smp->sm_state = SFXGE_MON_INITIALIZED; in sfxge_mon_init() 274 ASSERT3U(smp->sm_state, ==, SFXGE_MON_INITIALIZED); in sfxge_mon_start() 280 smp->sm_state = SFXGE_MON_STARTED; in sfxge_mon_start() 301 ASSERT3U(smp->sm_state, ==, SFXGE_MON_STARTED); in sfxge_mon_stop() 302 smp->sm_state = SFXGE_MON_INITIALIZED; in sfxge_mon_stop() 316 ASSERT3U(smp->sm_state, ==, SFXGE_MON_INITIALIZED); in sfxge_mon_fini() 321 smp->sm_state = SFXGE_MON_UNINITIALIZED; in sfxge_mon_fini()
|
H A D | sfxge_mac.c | 140 if (smp->sm_state != SFXGE_MAC_STARTED) in sfxge_mac_kstat_update() 258 if (smp->sm_state != SFXGE_MAC_STARTED) in sfxge_mac_stat_get() 438 smp->sm_state = SFXGE_MAC_INITIALIZED; in sfxge_mac_init() 483 if (smp->sm_state == SFXGE_MAC_STARTED) { in sfxge_mac_filter_apply() 561 smp->sm_state = SFXGE_MAC_STARTED; in sfxge_mac_start() 605 if (smp->sm_state != SFXGE_MAC_STARTED) in sfxge_mac_link_update_locked() 734 if (smp->sm_state != SFXGE_MAC_STARTED) in sfxge_mac_fcntl_set() 767 smp->sm_state != SFXGE_MAC_STARTED) { in sfxge_mac_unicst_get() 827 if (smp->sm_state != SFXGE_MAC_STARTED) in sfxge_mac_unicst_set() 992 smp->sm_state = SFXGE_MAC_INITIALIZED; in sfxge_mac_stop() [all …]
|