Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c49 struct range_list *implied_rl; in fake_get_hard_max() local
63 if (get_implied_rl(expr, &implied_rl) && in fake_get_hard_max()
64 sval_cmp(rl_max(implied_rl), *sval) < 0) in fake_get_hard_max()
65 *sval = rl_max(implied_rl); in fake_get_hard_max()
74 struct range_list *implied_rl; in get_the_max() local
85 if (get_implied_rl(expr, &implied_rl) && in get_the_max()
86 sval_cmp(rl_max(implied_rl), *sval) < 0) in get_the_max()
87 *sval = rl_max(implied_rl); in get_the_max()