Home
last modified time | relevance | path

Searched refs:estate_is_whole (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c256 int estate_is_whole(struct smatch_state *state) in estate_is_whole() function
268 if (!estate_is_whole(state)) in estate_is_unknown()
H A Dsmatch_param_limit.c154 if (estate_is_whole(state) || estate_is_empty(state)) in print_return_value_param()
H A Dsmatch_capped.c46 if (state && !estate_is_whole(state)) in unmatched_state()
H A Dsmatch_extra.h133 int estate_is_whole(struct smatch_state *state);
H A Dsmatch_extra.c2463 if (estate_is_whole(sm->state) || !estate_rl(sm->state)) in struct_member_callback()
2515 if (!compare_str && estate_is_whole(sm->state)) in returned_struct_members()
H A Dsmatch_math.c972 if (state && state->data && !estate_is_whole(state)) in var_to_absolute_rl()