usr/src/tools/smatch/src/check_err_ptr_deref.c

201

tmp_min = estate_min(tmp->state);

usr/src/tools/smatch/src/check_zero_to_err_ptr.c

155

if (is_valid_ptr(estate_min(tmp->state)) &&

usr/src/tools/smatch/src/smatch_db.c

1662

if (sval_is_negative(estate_min(tmp->state)) &&

usr/src/tools/smatch/src/smatch_db.c

1781

if (estate_min(state).value == 0 && estate_max(state).value == 0)

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

1234

sval_t min = estate_min(state);

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

1252

sval_t min = estate_min(state);

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

2298

if (estate_min(state).value == 0 &&

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

2312

if (estate_min(state).value == 0 &&

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

664

if (sval_cmp(estate_min(sm->state), right) < 0)

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

855

after_value = estate_min(sm->state);

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

881

limit = sval_binop(estate_min(sm->state), '-',

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

887

state = alloc_estate_range(estate_min(sm->state), limit);

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

139

sval_t estate_min(struct smatch_state *state);

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

936

sval = estate_min(state);