Lines Matching refs:sm
30 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() argument
39 if ((sm->state == &dec) && in unmatched_state()
40 parent_is_gone_var_sym(sm->name, sm->sym)) in unmatched_state()
41 return sm->state; in unmatched_state()
60 struct sm_state *sm; in get_best_match() local
80 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in get_best_match()
81 state_len = strlen(sm->name); in get_best_match()
85 if ((start_pos == 0 || !isalnum(sm->name[start_pos - 1])) && in get_best_match()
86 strcmp(sm->name + start_pos, key) == 0) { in get_best_match()
88 match = sm; in get_best_match()
90 } END_FOR_EACH_SM(sm); in get_best_match()
262 static bool is_maybe_dec(struct sm_state *sm) in is_maybe_dec() argument
264 if (sm->state == &dec) in is_maybe_dec()
266 if (slist_has_state(sm->possible, &dec) && in is_maybe_dec()
267 !slist_has_state(sm->possible, &inc)) in is_maybe_dec()
274 struct sm_state *sm; in match_return_info() local
281 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in match_return_info()
282 if (sm->state != &inc && !is_maybe_dec(sm)) in match_return_info()
284 if (sm->state == get_state_stree(start_states, my_id, sm->name, sm->sym)) in match_return_info()
286 if (parent_is_gone_var_sym(sm->name, sm->sym)) in match_return_info()
288 param = get_param_num_from_sym(sm->sym); in match_return_info()
291 param_name = get_param_name(sm); in match_return_info()
295 (sm->state == &inc) ? ATOMIC_INC : ATOMIC_DEC, in match_return_info()
297 } END_FOR_EACH_SM(sm); in match_return_info()
327 struct sm_state *sm; in check_counter() local
353 sm = get_sm_state(my_id, name, sym); in check_counter()
354 if (sm) in check_counter()
355 state = sm->state; in check_counter()
387 struct sm_state *sm; in match_check_missed() local
389 FOR_EACH_MY_SM(my_id, get_all_return_states(), sm) { in match_check_missed()
390 check_counter(sm->name, sm->sym); in match_check_missed()
391 } END_FOR_EACH_SM(sm); in match_check_missed()
396 struct sm_state *sm; in on_atomic_dec_path() local
398 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in on_atomic_dec_path()
399 if (sm->state == &dec) in on_atomic_dec_path()
401 } END_FOR_EACH_SM(sm); in on_atomic_dec_path()