estate_max
tmp_max = estate_max(tmp->state);
is_valid_ptr(estate_max(tmp->state))) {
sval = estate_max(state);
sval_is_negative(estate_max(tmp->state)))
if (estate_min(state).value == 0 && estate_max(state).value == 0)
sval_t max = estate_max(state);
sval_t max = estate_max(state);
estate_max(state).value == 0)
estate_max(state).value == 0)
sval_to_str(estate_max(sm->state)));
sval_to_str(estate_max(state)));
start = estate_max(sm->state);
limit = sval_binop(estate_max(sm->state), '+',
state = alloc_estate_range(limit, estate_max(sm->state));
sval_t max = estate_max(sm->state);
sval_t estate_max(struct smatch_state *state);