Searched refs:decrement_state (Results 1 – 1 of 1) sorted by relevance
1250 static struct smatch_state *decrement_state(struct smatch_state *state) in decrement_state() function1309 state = decrement_state(state); in unop_expr()1688 left_true_state = decrement_state(left_true_state); in handle_comparison()1689 left_false_state = decrement_state(left_false_state); in handle_comparison()1696 right_true_state = decrement_state(right_true_state); in handle_comparison()1697 right_false_state = decrement_state(right_false_state); in handle_comparison()