Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c208 struct range_list *abs_rl; in should_warn() local
227 get_absolute_rl(offset, &abs_rl); in should_warn()
238 if (array_size > rl_max(abs_rl).uvalue) in should_warn()
265 struct range_list *abs_rl; in array_check() local
301 get_absolute_rl(offset, &abs_rl); in array_check()
312 max = rl_max(abs_rl); in array_check()
H A Dsmatch_extra.c2448 struct range_list *abs_rl; in intersect_with_real_abs_expr() local
2454 abs_rl = cast_rl(rl_type(start), estate_rl(state)); in intersect_with_real_abs_expr()
2455 return rl_intersection(abs_rl, start); in intersect_with_real_abs_expr()