Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c266 struct range_list *user_rl = NULL; in array_check() local
302 get_user_rl(offset, &user_rl); in array_check()
309 if (user_rl) in array_check()
310 max = rl_max(user_rl); in array_check()
320 } else if (user_rl) { in array_check()
322 name, array_size, sval_to_str(max), show_rl(user_rl), in array_check()
H A Dsmatch_kernel_user_data.c707 struct range_list *user_rl; in handle_compare() local
757 user_rl = left_rl; in handle_compare()
759 user_rl = right_rl; in handle_compare()
763 user_rl = strip_negatives(user_rl); in handle_compare()
764 capped_state = alloc_estate_rl(user_rl); in handle_compare()