Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c36 struct range_list *value_ranges; in merge_estates() local
42 value_ranges = rl_union(estate_rl(s1), estate_rl(s2)); in merge_estates()
43 tmp = alloc_estate_rl(value_ranges); in merge_estates()
76 return get_dinfo(state)->value_ranges; in estate_rl()
305 add_range(&ret->value_ranges, min, max); in alloc_dinfo_range()
314 ret->value_ranges = rl; in alloc_dinfo_range_list()
324 ret->value_ranges = clone_rl(dinfo->value_ranges); in clone_dinfo()
395 state->name = show_rl(get_dinfo(state)->value_ranges); in alloc_estate_sval()
407 state->name = show_rl(get_dinfo(state)->value_ranges); in alloc_estate_range()
436 ret->name = show_rl(dinfo->value_ranges); in clone_estate_cast()
[all …]
H A Dsmatch_ranges.c656 dinfo->value_ranges = rl; in str_to_dinfo()
682 if (!rl_is_sane(dinfo.value_ranges)) in str_to_rl()
683 dinfo.value_ranges = alloc_whole_rl(type); in str_to_rl()
684 *rl = dinfo.value_ranges; in str_to_rl()
692 *rl = dinfo.value_ranges; in call_results_to_rl()
H A Dsmatch_extra.h30 struct range_list *value_ranges; member