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

204

tmp_max = estate_max(tmp->state);

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

156

is_valid_ptr(estate_max(tmp->state))) {

usr/src/tools/smatch/src/smatch_buf_size.c

69

sval = estate_max(state);

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

1663

sval_is_negative(estate_max(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

1235

sval_t max = estate_max(state);

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

1253

sval_t max = estate_max(state);

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

2299

estate_max(state).value == 0)

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

2313

estate_max(state).value == 0)

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

2475

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

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

2791

sval_to_str(estate_max(state)));

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

666

start = estate_max(sm->state);

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

878

limit = sval_binop(estate_max(sm->state), '+',

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

889

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

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

898

sval_t max = estate_max(sm->state);

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

140

sval_t estate_max(struct smatch_state *state);