Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c896 struct range_list *range_rl; in call_ranged_return_hooks() local
900 range_rl = alloc_rl(tmp->range->min, tmp->range->max); in call_ranged_return_hooks()
901 range_rl = cast_rl(estate_type(db_info->ret_state), range_rl); in call_ranged_return_hooks()
902 if (possibly_true_rl(range_rl, SPECIAL_EQUAL, estate_rl(db_info->ret_state))) in call_ranged_return_hooks()