Symbol: estate_is_whole
usr/src/tools/smatch/src/smatch_capped.c
46
if (state && !estate_is_whole(state))
usr/src/tools/smatch/src/smatch_estate.c
268
if (!estate_is_whole(state))
usr/src/tools/smatch/src/smatch_extra.c
2463
if (estate_is_whole(sm->state) || !estate_rl(sm->state))
usr/src/tools/smatch/src/smatch_extra.c
2515
if (!compare_str && estate_is_whole(sm->state))
usr/src/tools/smatch/src/smatch_extra.h
133
int estate_is_whole(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_math.c
972
if (state && state->data && !estate_is_whole(state))
usr/src/tools/smatch/src/smatch_param_limit.c
154
if (estate_is_whole(state) || estate_is_empty(state))