Home
last modified time | relevance | path

Searched refs:increment_state (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_extra.c1232 static struct smatch_state *increment_state(struct smatch_state *state) in increment_state() function
1301 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()