Symbol: divide_rl_helper
usr/src/tools/smatch/src/smatch_ranges.c
1719
neg_neg = divide_rl_helper(left_neg, right_neg);
usr/src/tools/smatch/src/smatch_ranges.c
1720
neg_pos = divide_rl_helper(left_neg, right_pos);
usr/src/tools/smatch/src/smatch_ranges.c
1721
pos_neg = divide_rl_helper(left_pos, right_neg);
usr/src/tools/smatch/src/smatch_ranges.c
1722
pos_pos = divide_rl_helper(left_pos, right_pos);