usr/src/tools/smatch/src/smatch_estate.c

113

estate_set_fuzzy_max(new, estate_get_fuzzy_max(old));

usr/src/tools/smatch/src/smatch_estate.c

357

estate_set_fuzzy_max(ret, estate_get_fuzzy_max(state));

usr/src/tools/smatch/src/smatch_estate.c

397

estate_set_fuzzy_max(state, sval);

usr/src/tools/smatch/src/smatch_estate.c

51

estate_set_fuzzy_max(tmp, sval_max(estate_get_fuzzy_max(s1), estate_get_fuzzy_max(s2)));

usr/src/tools/smatch/src/smatch_extra.c

1148

estate_set_fuzzy_max(state, max);

usr/src/tools/smatch/src/smatch_extra.c

1618

estate_set_fuzzy_max(left_true_state, hard_max);

usr/src/tools/smatch/src/smatch_extra.c

1624

estate_set_fuzzy_max(left_false_state, hard_max);

usr/src/tools/smatch/src/smatch_extra.c

1630

estate_set_fuzzy_max(right_false_state, hard_max);

usr/src/tools/smatch/src/smatch_extra.c

1635

estate_set_fuzzy_max(right_true_state, hard_max);

usr/src/tools/smatch/src/smatch_extra.c

1645

estate_set_fuzzy_max(right_true_state, hard_max);

usr/src/tools/smatch/src/smatch_extra.c

1651

estate_set_fuzzy_max(right_false_state, hard_max);

usr/src/tools/smatch/src/smatch_extra.c

1657

estate_set_fuzzy_max(left_false_state, hard_max);

usr/src/tools/smatch/src/smatch_extra.c

1663

estate_set_fuzzy_max(left_true_state, hard_max);

usr/src/tools/smatch/src/smatch_extra.c

1668

estate_set_fuzzy_max(right_true_state, hard_max);

usr/src/tools/smatch/src/smatch_extra.c

1670

estate_set_fuzzy_max(left_true_state, hard_max);

usr/src/tools/smatch/src/smatch_extra.c

2845

estate_set_fuzzy_max(state, max);

usr/src/tools/smatch/src/smatch_extra.c

746

estate_set_fuzzy_max(estate, max);

usr/src/tools/smatch/src/smatch_extra.c

787

estate_set_fuzzy_max(estate, estate_get_fuzzy_max(estate));

usr/src/tools/smatch/src/smatch_extra.h

145

void estate_set_fuzzy_max(struct smatch_state *state, sval_t max);