Symbol: alloc_dinfo_range
usr/src/tools/smatch/src/smatch_estate.c
394
state->data = alloc_dinfo_range(sval, sval);
usr/src/tools/smatch/src/smatch_estate.c
406
state->data = alloc_dinfo_range(min, max);