Home
last modified time | relevance | path

Searched refs:sm_state (Results 1 – 25 of 101) sorted by relevance

12345

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.h5 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 Dsmatch_slist.c37 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 Davl.h29 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 Dsmatch_implied.c213 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 Davl.c29 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 Dsmatch_param_filter.c62 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 Dsmatch_states.c79 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 Dcheck_atomic_inc_dec.c30 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 Dcheck_check_deref.c43 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 Dcheck_snprintf.c24 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 Dsmatch_hooks.c84 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 Dcheck_free_strict.c33 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 Dsmatch.h81 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 Dcheck_deref.c54 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 Dcheck_frees_param.c33 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 Dcheck_kunmap.c54 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 Dcheck_locking.c492 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 Dsmatch_nul_terminator.c74 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 Dsmatch_parsed_conditions.c69 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 Dsmatch_buf_comparison.c42 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 Dcheck_err_ptr_deref.c39 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 Dcheck_dereferences_param.c34 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 Dsfxge_mcdi.c94 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 Dsfxge_mon.c82 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 Dsfxge_mac.c140 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 …]

12345