Searched refs:increment_state (Results 1 – 1 of 1) sorted by relevance
1232 static struct smatch_state *increment_state(struct smatch_state *state) in increment_state() function1301 state = increment_state(state); in unop_expr()1684 left_true_state = increment_state(left_true_state); in handle_comparison()1685 left_false_state = increment_state(left_false_state); in handle_comparison()1692 right_true_state = increment_state(right_true_state); in handle_comparison()1693 right_false_state = increment_state(right_false_state); in handle_comparison()