Searched refs:state_to_comparison (Results 1 – 2 of 2) sorted by relevance
93 int state_to_comparison(struct smatch_state *state) in state_to_comparison() function575 op = merge_comparisons(state_to_comparison(s1), state_to_comparison(s2)); in merge_compare_states()692 op = state_to_comparison(state); in match_inc()744 switch (state_to_comparison(state)) { in match_dec()1686 ret = state_to_comparison(state); in get_comparison_strings()2548 state_op = state_to_comparison(state); in param_compare_limit_is_impossible()
1121 int state_to_comparison(struct smatch_state *state);