Searched refs:right_true_state (Results 1 – 1 of 1) sorted by relevance
1522 struct smatch_state *right_true_state; in handle_comparison() local1586 right_true_state = alloc_estate_rl(right_true); in handle_comparison()1604 estate_set_hard_max(right_true_state); in handle_comparison()1635 estate_set_fuzzy_max(right_true_state, hard_max); in handle_comparison()1645 estate_set_fuzzy_max(right_true_state, hard_max); in handle_comparison()1668 estate_set_fuzzy_max(right_true_state, hard_max); in handle_comparison()1679 estate_set_hard_max(right_true_state); in handle_comparison()1692 right_true_state = increment_state(right_true_state); in handle_comparison()1696 right_true_state = decrement_state(right_true_state); in handle_comparison()1705 if (estate_rl(right_true_state) && estates_equiv(right_true_state, right_false_state)) { in handle_comparison()[all …]