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

247

if (estate_has_hard_max(one) != estate_has_hard_max(two))

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

354

if (estate_has_hard_max(state))

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

47

if ((estate_has_hard_max(s1) && (!estate_rl(s2) || estate_has_hard_max(s2))) ||

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

48

(estate_has_hard_max(s2) && (!estate_rl(s1) || estate_has_hard_max(s1))))

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

2473

if (estate_has_hard_max(sm->state))

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

2789

if (!estate_get_single_value(state, &dummy) && estate_has_hard_max(state)) {

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

683

if (estate_has_hard_max(sm->state))

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

690

if (estate_has_hard_max(sm->state))

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

885

if (!estate_has_hard_max(sm->state) && !__has_breaks()) {

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

893

if (!estate_has_hard_max(sm->state)) {

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

148

int estate_has_hard_max(struct smatch_state *state);

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

1041

if (implied == RL_HARD && !estate_has_hard_max(state))

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

719

if (implied != RL_HARD || estate_has_hard_max(state)) {