Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_extra.c1522 struct smatch_state *right_true_state; in handle_comparison() local
1586 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 …]