Searched refs:estate_max (Results 1 – 7 of 7) sorted by relevance
156 is_valid_ptr(estate_max(tmp->state))) { in match_err_ptr()
666 start = estate_max(sm->state); in handle_canonical_while_count_down()878 limit = sval_binop(estate_max(sm->state), '+', in __extra_pre_loop_hook_after()889 state = alloc_estate_range(limit, estate_max(sm->state)); in __extra_pre_loop_hook_after()898 sval_t max = estate_max(sm->state); in __extra_pre_loop_hook_after()1235 sval_t max = estate_max(state); in increment_state()1253 sval_t max = estate_max(state); in decrement_state()2299 estate_max(state).value == 0) in parent_is_null_var_sym()2313 estate_max(state).value == 0) in parent_is_null_var_sym()2475 sval_to_str(estate_max(sm->state))); in struct_member_callback()2791 sval_to_str(estate_max(state))); in match_call_info()
204 tmp_max = estate_max(tmp->state); in match_err_ptr()
200 sval_t estate_max(struct smatch_state *state) in estate_max() function
140 sval_t estate_max(struct smatch_state *state);
69 sval = estate_max(state); in estate_to_size()
1663 sval_is_negative(estate_max(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()