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

111

if (!estate_has_fuzzy_max(old))

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

272

if (estate_has_fuzzy_max(state))

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

356

if (estate_has_fuzzy_max(state))

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

2476

if (estate_has_fuzzy_max(sm->state))

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

2793

if (estate_has_fuzzy_max(state)) {

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

896

if (estate_has_fuzzy_max(sm->state)) {

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

902

} else if (!estate_has_fuzzy_max(sm->state)) {

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

143

int estate_has_fuzzy_max(struct smatch_state *state);

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

921

if (!state || !estate_has_fuzzy_max(state))