Home
last modified time | relevance | path

Searched refs:estate_is_empty (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_param_limit.c154 if (estate_is_whole(state) || estate_is_empty(state)) in print_return_value_param()
H A Dsmatch_estate.c261 int estate_is_empty(struct smatch_state *state) in estate_is_empty() function
H A Dsmatch_extra.h134 int estate_is_empty(struct smatch_state *state);
H A Dsmatch_math.c1058 } else if (estate_is_empty(state)) { in handle_variable()