Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c649 struct range_list *ret_range; in db_compare_callback() local
695 ret_range = cast_rl(get_type(db_info->expr), ret_range); in db_compare_callback()
696 if (!ret_range) in db_compare_callback()
697 ret_range = alloc_whole_rl(get_type(db_info->expr)); in db_compare_callback()
704 if (!possibly_true_rl(var_rl, comparison, ret_range)) in db_compare_callback()
910 struct range_list *ret_range; in db_assign_return_states_callback() local
958 if (!ret_range) in db_assign_return_states_callback()
960 ret_range = cast_rl(get_type(db_info->expr->right), ret_range); in db_assign_return_states_callback()
1099 struct range_list *ret_range; in db_return_states_callback() local
1147 ret_range = cast_rl(get_type(db_info->expr), ret_range); in db_return_states_callback()
[all …]