Home
last modified time | relevance | path

Searched refs:max_right (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
39 if (!get_absolute_max(expr->right, &max_right)) in match_assign()
42 if (sval_cmp(max_left, max_right) >= 0) in match_assign()
46 …rning("min_t truncates here '%s' (%s vs %s)", name, sval_to_str(max_left), sval_to_str(max_right)); in match_assign()