Searched refs:end_state (Results 1 – 1 of 1) sorted by relevance
86 struct smatch_state *end_state; in match_param_valid_ptr() local98 end_state = alloc_estate_rl(rl); in match_param_valid_ptr()99 set_extra_expr_nomod(arg, end_state); in match_param_valid_ptr()109 struct smatch_state *end_state; in match_param_err_or_null() local120 end_state = alloc_estate_rl(rl); in match_param_err_or_null()121 set_extra_expr_nomod(arg, end_state); in match_param_err_or_null()