usr/src/tools/smatch/src/check_err_ptr_deref.c

58

if (!possibly_true_rl(rl, SPECIAL_EQUAL, err_ptr_rl))

usr/src/tools/smatch/src/check_err_ptr_deref.c

90

if (!estate || !possibly_true_rl(estate_rl(estate), SPECIAL_EQUAL, err_ptr_rl))

usr/src/tools/smatch/src/check_signed.c

286

if (!possibly_true_rl(rl_left, expr->op, rl_right)) {

usr/src/tools/smatch/src/smatch_extra.h

68

int possibly_true_rl(struct range_list *left_ranges, int comparison, struct range_list *right_ranges);

usr/src/tools/smatch/src/smatch_function_hooks.c

595

if (possibly_true_rl(passed, SPECIAL_EQUAL, limit))

usr/src/tools/smatch/src/smatch_function_hooks.c

704

if (!possibly_true_rl(var_rl, comparison, ret_range))

usr/src/tools/smatch/src/smatch_function_hooks.c

902

if (possibly_true_rl(range_rl, SPECIAL_EQUAL, estate_rl(db_info->ret_state)))

usr/src/tools/smatch/src/smatch_implied.c

267

return possibly_true_rl(var_rl, comparison, rl);

usr/src/tools/smatch/src/smatch_math.c

742

poss_true = possibly_true_rl(left_ranges, expr->op, right_ranges);

usr/src/tools/smatch/src/smatch_ranges.c

1348

return possibly_true_rl(a, comparison, b);

usr/src/tools/smatch/src/smatch_ranges.c

1350

return possibly_true_rl(b, comparison, a);