Searched refs:estate_min (Results 1 – 7 of 7) sorted by relevance
155 if (is_valid_ptr(estate_min(tmp->state)) && in match_err_ptr()
201 tmp_min = estate_min(tmp->state); in match_err_ptr()
664 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()
195 sval_t estate_min(struct smatch_state *state) in estate_min() function
139 sval_t estate_min(struct smatch_state *state);
1662 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()
936 sval = estate_min(state); in get_fuzzy_min_helper()