Symbol: possibly_false_rl
usr/src/tools/smatch/src/check_signed.c
295
if (!possibly_false_rl(rl_left, expr->op, rl_right)) {
usr/src/tools/smatch/src/smatch_extra.h
72
int possibly_false_rl(struct range_list *left_ranges, int comparison, struct range_list *right_ranges);
usr/src/tools/smatch/src/smatch_function_hooks.c
711
if (!possibly_false_rl(var_rl, comparison, ret_range))
usr/src/tools/smatch/src/smatch_implied.c
280
return possibly_false_rl(var_rl, comparison, rl);
usr/src/tools/smatch/src/smatch_math.c
743
poss_false = possibly_false_rl(left_ranges, expr->op, right_ranges);
usr/src/tools/smatch/src/smatch_ranges.c
1356
return possibly_false_rl(a, comparison, b);
usr/src/tools/smatch/src/smatch_ranges.c
1358
return possibly_false_rl(b, comparison, a);