Searched refs:store_return_state (Results 1 – 1 of 1) sorted by relevance
382 static void store_return_state(struct db_callback_info *db_info, const char *ret_str, struct smatch… in store_return_state() function725 store_return_state(db_info, ret_str, alloc_estate_rl(clone_rl(var_rl))); in db_compare_callback()967 store_return_state(db_info, ret_str, alloc_estate_rl(ret_range)); in db_assign_return_states_callback()1163 store_return_state(db_info, ret_str, state); in db_return_states_callback()