Lines Matching refs:sm
42 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() argument
177 struct sm_state *sm; in print_return_value_param_helper() local
188 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in print_return_value_param_helper()
189 if (!estate_rl(sm->state)) in print_return_value_param_helper()
191 extra = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in print_return_value_param_helper()
193 rl = rl_intersection(estate_rl(sm->state), estate_rl(extra)); in print_return_value_param_helper()
197 rl = estate_rl(sm->state); in print_return_value_param_helper()
200 param = get_param_num_from_sym(sm->sym); in print_return_value_param_helper()
203 param_name = get_param_name(sm); in print_return_value_param_helper()
207 insert_string(&set_list, (char *)sm->name); in print_return_value_param_helper()
211 insert_string(&set_list, (char *)sm->name); in print_return_value_param_helper()
216 insert_string(&set_list, (char *)sm->name); in print_return_value_param_helper()
232 math_str = get_value_in_terms_of_parameter_math_var_sym(sm->name, sm->sym); in print_return_value_param_helper()
235 insert_string(&set_list, (char *)sm->name); in print_return_value_param_helper()
237 param_has_filter_data(sm) ? PARAM_ADD : PARAM_SET, in print_return_value_param_helper()
243 if (is_whole_rl(rl) && parent_set(set_list, sm->name)) in print_return_value_param_helper()
245 insert_string(&set_list, (char *)sm->name); in print_return_value_param_helper()
248 param_has_filter_data(sm) ? PARAM_ADD : PARAM_SET, in print_return_value_param_helper()
253 } END_FOR_EACH_SM(sm); in print_return_value_param_helper()
268 static int possibly_empty(struct sm_state *sm) in possibly_empty() argument
272 FOR_EACH_PTR(sm->possible, tmp) { in possibly_empty()
281 struct sm_state *sm; in param_was_set_var_sym() local
299 sm = get_sm_state(my_id, buf, sym); in param_was_set_var_sym()
300 if (!sm) in param_was_set_var_sym()
302 if (possibly_empty(sm)) in param_was_set_var_sym()