Searched refs:right_false_state (Results 1 – 1 of 1) sorted by relevance
1523 struct smatch_state *right_false_state; in handle_comparison() local1587 right_false_state = alloc_estate_rl(right_false); in handle_comparison()1597 estate_set_hard_max(right_false_state); in handle_comparison()1630 estate_set_fuzzy_max(right_false_state, hard_max); in handle_comparison()1651 estate_set_fuzzy_max(right_false_state, hard_max); in handle_comparison()1680 estate_set_hard_max(right_false_state); in handle_comparison()1693 right_false_state = increment_state(right_false_state); in handle_comparison()1697 right_false_state = decrement_state(right_false_state); in handle_comparison()1707 right_false_state = NULL; in handle_comparison()1717 if (rl_equiv(right_orig, estate_rl(right_false_state))) in handle_comparison()[all …]