Lines Matching refs:left_true_state
1520 struct smatch_state *left_true_state; in handle_comparison() local
1584 left_true_state = alloc_estate_rl(left_true); in handle_comparison()
1595 estate_set_hard_max(left_true_state); in handle_comparison()
1618 estate_set_fuzzy_max(left_true_state, hard_max); in handle_comparison()
1663 estate_set_fuzzy_max(left_true_state, hard_max); in handle_comparison()
1670 estate_set_fuzzy_max(left_true_state, hard_max); in handle_comparison()
1675 estate_set_hard_max(left_true_state); in handle_comparison()
1684 left_true_state = increment_state(left_true_state); in handle_comparison()
1688 left_true_state = decrement_state(left_true_state); in handle_comparison()
1700 if (estate_rl(left_true_state) && estates_equiv(left_true_state, left_false_state)) { in handle_comparison()
1701 left_true_state = NULL; in handle_comparison()
1711 if (rl_equiv(left_orig, estate_rl(left_true_state))) in handle_comparison()
1712 left_true_state = NULL; in handle_comparison()
1720 set_extra_expr_true_false(left, left_true_state, left_false_state); in handle_comparison()