Symbol: rl_is_sane
usr/src/tools/smatch/src/smatch_ranges.c
1505
if (!rl_is_sane(rl))
usr/src/tools/smatch/src/smatch_ranges.c
682
if (!rl_is_sane(dinfo.value_ranges))