Searched refs:pre_state (Results 1 – 1 of 1) sorted by relevance
85 struct smatch_state *pre_state; in match_param_valid_ptr() local90 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_param_valid_ptr()91 if (estate_rl(pre_state)) { in match_param_valid_ptr()92 rl = estate_rl(pre_state); in match_param_valid_ptr()108 struct smatch_state *pre_state; in match_param_err_or_null() local112 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_param_err_or_null()113 if (pre_state) in match_param_err_or_null()114 pre = estate_rl(pre_state); in match_param_err_or_null()128 struct smatch_state *pre_state; in match_not_err() local132 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_not_err()[all …]