Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_min_t.c25 sval_t max_left, max_right; in match_assign() local
37 if (!get_absolute_max(expr->left, &max_left)) in match_assign()
42 if (sval_cmp(max_left, max_right) >= 0) in match_assign()
46 …sm_warning("min_t truncates here '%s' (%s vs %s)", name, sval_to_str(max_left), sval_to_str(max_ri… in match_assign()