Searched refs:left_false_state (Results 1 – 1 of 1) sorted by relevance
1521 struct smatch_state *left_false_state; in handle_comparison() local1585 left_false_state = alloc_estate_rl(left_false); in handle_comparison()1606 estate_set_hard_max(left_false_state); in handle_comparison()1624 estate_set_fuzzy_max(left_false_state, hard_max); in handle_comparison()1657 estate_set_fuzzy_max(left_false_state, hard_max); in handle_comparison()1676 estate_set_hard_max(left_false_state); in handle_comparison()1685 left_false_state = increment_state(left_false_state); in handle_comparison()1689 left_false_state = decrement_state(left_false_state); in handle_comparison()1700 if (estate_rl(left_true_state) && estates_equiv(left_true_state, left_false_state)) { in handle_comparison()1702 left_false_state = NULL; in handle_comparison()[all …]