Symbol: handle_sub_rl
usr/src/tools/smatch/src/smatch_ranges.c
1816
result = handle_sub_rl(left_casted, right_casted);
usr/src/tools/smatch/src/smatch_ranges.c
2031
ret = handle_sub_rl(left, right);