estate_min
tmp_min = estate_min(tmp->state);
if (is_valid_ptr(estate_min(tmp->state)) &&
if (sval_is_negative(estate_min(tmp->state)) &&
if (estate_min(state).value == 0 && estate_max(state).value == 0)
sval_t min = estate_min(state);
sval_t min = estate_min(state);
if (estate_min(state).value == 0 &&
if (estate_min(state).value == 0 &&
if (sval_cmp(estate_min(sm->state), right) < 0)
after_value = estate_min(sm->state);
limit = sval_binop(estate_min(sm->state), '-',
state = alloc_estate_range(estate_min(sm->state), limit);
sval_t estate_min(struct smatch_state *state);
sval = estate_min(state);