Lines Matching refs:sm
36 static void set_uncapped(struct sm_state *sm, struct expression *mod_expr) in set_uncapped() argument
38 set_state(my_id, sm->name, sm->sym, &uncapped); in set_uncapped()
41 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() argument
45 state = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
236 …struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm) in struct_member_callback() argument
241 if (sm->state != &capped) in struct_member_callback()
243 estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in struct_member_callback()
252 struct sm_state *sm; in print_return_implies_capped() local
264 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in print_return_implies_capped()
265 if (sm->state != &capped) in print_return_implies_capped()
268 param = get_param_num_from_sym(sm->sym); in print_return_implies_capped()
272 estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in print_return_implies_capped()
276 orig = get_state_stree(get_start_states(), my_id, sm->name, sm->sym); in print_return_implies_capped()
277 if (orig == &capped && !param_was_set_var_sym(sm->name, sm->sym)) in print_return_implies_capped()
280 param_name = get_param_name(sm); in print_return_implies_capped()
286 } END_FOR_EACH_SM(sm); in print_return_implies_capped()
288 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in print_return_implies_capped()
291 if (sm->state != &capped) in print_return_implies_capped()
293 if (ret_sym != sm->sym) in print_return_implies_capped()
296 estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in print_return_implies_capped()
300 param_name = state_name_to_param_name(sm->name, return_str); in print_return_implies_capped()
307 } END_FOR_EACH_SM(sm); in print_return_implies_capped()