usr/src/tools/smatch/src/check_free_strict.c

56

if (!estate_get_single_value(state, &sval) || sval.value != 0)

usr/src/tools/smatch/src/check_return_enomem.c

49

if (!estate_get_single_value(sm->state, &sval) || sval.value != 0)

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

1250

int estate_get_single_value(struct smatch_state *state, sval_t *sval);

usr/src/tools/smatch/src/smatch_bits.c

427

if (estate_get_single_value(estate, &sval))

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

853

(estate_get_single_value(sm->state, &sval) &&

usr/src/tools/smatch/src/smatch_capped.c

244

if (estate_get_single_value(estate, &sval))

usr/src/tools/smatch/src/smatch_capped.c

273

if (estate_get_single_value(estate, &sval))

usr/src/tools/smatch/src/smatch_capped.c

297

if (estate_get_single_value(estate, &sval))

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

1676

if (!estate_get_single_value(tmp->state, &sval))

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

1977

if (!estate_get_single_value(tmp->state, &sval))

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

2035

if (!sm || estate_get_single_value(sm->state, &sval))

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

2354

if (!estate_get_single_value(sm->state, &sval))

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

2472

if (!estate_get_single_value(sm->state, &dummy)) {

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

2819

if (estate_get_single_value(state, &dummy))

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

711

if (!estate_get_single_value(sm->state, &start))

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

764

if (!estate_get_single_value(sm->state, &start))

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

159

int estate_get_single_value(struct smatch_state *state, sval_t *sval);

usr/src/tools/smatch/src/smatch_fresh_alloc.c

75

if (estate_get_single_value(state, &sval) && sval.value == 0)

usr/src/tools/smatch/src/smatch_mtag.c

101

if (estate_get_single_value(state, &sval))

usr/src/tools/smatch/src/smatch_mtag.c

320

if (!state || !estate_get_single_value(state, &sval) || sval.value == 0)