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

51

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

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

97

if (estate_get_fuzzy_max(state).type)

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

2478

sval_to_str(estate_get_fuzzy_max(sm->state)));

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

2795

sval_to_str(estate_get_fuzzy_max(state)));

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.c

897

sval_t hmax = estate_get_fuzzy_max(sm->state);

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

144

sval_t estate_get_fuzzy_max(struct smatch_state *state);

usr/src/tools/smatch/src/smatch_math.c

923

*max = sval_cast(get_type(expr), estate_get_fuzzy_max(state));