Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c51 estate_set_fuzzy_max(tmp, sval_max(estate_get_fuzzy_max(s1), estate_get_fuzzy_max(s2))); in merge_estates()
102 void estate_set_fuzzy_max(struct smatch_state *state, sval_t fuzzy_max) in estate_set_fuzzy_max() function
113 estate_set_fuzzy_max(new, estate_get_fuzzy_max(old)); in estate_copy_fuzzy_max()
357 estate_set_fuzzy_max(ret, estate_get_fuzzy_max(state)); in clone_partial_estate()
397 estate_set_fuzzy_max(state, sval); in alloc_estate_sval()
H A Dsmatch_extra.c746 estate_set_fuzzy_max(estate, max); in handle_canonical_for_inc()
787 estate_set_fuzzy_max(estate, estate_get_fuzzy_max(estate)); in handle_canonical_for_dec()
1148 estate_set_fuzzy_max(state, max); in match_vanilla_assign()
1618 estate_set_fuzzy_max(left_true_state, hard_max); in handle_comparison()
1624 estate_set_fuzzy_max(left_false_state, hard_max); in handle_comparison()
1630 estate_set_fuzzy_max(right_false_state, hard_max); 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()
1651 estate_set_fuzzy_max(right_false_state, hard_max); in handle_comparison()
1657 estate_set_fuzzy_max(left_false_state, hard_max); in handle_comparison()
[all …]
H A Dsmatch_extra.h145 void estate_set_fuzzy_max(struct smatch_state *state, sval_t max);