Home
last modified time | relevance | path

Searched refs:estate_min (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_zero_to_err_ptr.c155 if (is_valid_ptr(estate_min(tmp->state)) && in match_err_ptr()
H A Dcheck_err_ptr_deref.c201 tmp_min = estate_min(tmp->state); in match_err_ptr()
H A Dsmatch_extra.c664 if (sval_cmp(estate_min(sm->state), right) < 0) in handle_canonical_while_count_down()
855 after_value = estate_min(sm->state); in while_count_down_after()
881 limit = sval_binop(estate_min(sm->state), '-', in __extra_pre_loop_hook_after()
887 state = alloc_estate_range(estate_min(sm->state), limit); in __extra_pre_loop_hook_after()
1234 sval_t min = estate_min(state); in increment_state()
1252 sval_t min = estate_min(state); in decrement_state()
2298 if (estate_min(state).value == 0 && in parent_is_null_var_sym()
2312 if (estate_min(state).value == 0 && in parent_is_null_var_sym()
H A Dsmatch_estate.c195 sval_t estate_min(struct smatch_state *state) in estate_min() function
H A Dsmatch_extra.h139 sval_t estate_min(struct smatch_state *state);
H A Dsmatch_db.c1662 if (sval_is_negative(estate_min(tmp->state)) && in has_possible_negative()
1781 if (estate_min(state).value == 0 && estate_max(state).value == 0) in call_return_state_hooks_split_null_non_null_zero()
H A Dsmatch_math.c936 sval = estate_min(state); in get_fuzzy_min_helper()