Symbol: alloc_range_helper_sval
usr/src/tools/smatch/src/smatch_ranges.c
808
return alloc_range_helper_sval(min, max, 0);
usr/src/tools/smatch/src/smatch_ranges.c
813
return alloc_range_helper_sval(min, max, 1);