usr/src/tools/smatch/src/check_kernel.c

93

rl = remove_range(rl, null_ptr, null_ptr);

usr/src/tools/smatch/src/check_kernel.c

94

rl = remove_range(rl, err_ptr_min, err_ptr_max);

usr/src/tools/smatch/src/smatch_address.c

196

orig = remove_range(orig, remove, max);

usr/src/tools/smatch/src/smatch_common_functions.c

64

*rl = remove_range(*rl, bound, ulong_max);

usr/src/tools/smatch/src/smatch_extra.c

2093

true_rl = remove_range(orig_rl, sval_type_val(known.type, 0), low_mask);

usr/src/tools/smatch/src/smatch_extra.c

2102

false_rl = remove_range(false_rl, sval_type_min(known.type), sval_type_val(known.type, -1));

usr/src/tools/smatch/src/smatch_extra.c

2103

false_rl = remove_range(false_rl, low_mask, sval_type_max(known.type));

usr/src/tools/smatch/src/smatch_extra.c

2105

false_rl = remove_range(false_rl,

usr/src/tools/smatch/src/smatch_extra.c

2113

false_rl = remove_range(orig_rl, max, max);

usr/src/tools/smatch/src/smatch_extra.c

2149

true_rl = remove_range(orig_rl, zero, zero);

usr/src/tools/smatch/src/smatch_extra.c

2152

true_rl = remove_range(true_rl, rl_max(true_rl), rl_max(true_rl));

usr/src/tools/smatch/src/smatch_extra.c

2177

false_rl = remove_range(orig_rl, zero, chop);

usr/src/tools/smatch/src/smatch_extra.c

2187

false_rl = remove_range(false_rl, chop, rl_max(orig_rl));

usr/src/tools/smatch/src/smatch_extra.c

2570

left_rl = remove_range(left_rl, zero, zero);

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

60

struct range_list *remove_range(struct range_list *list, sval_t min, sval_t max);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

697

return remove_range(rl, over, max);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

699

return remove_range(rl, min, minus_one);

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

217

neg = remove_range(neg, sval_type_min(type), sval_type_min(type));

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

1528

rl = remove_range(rl, tmp->min, tmp->max);

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

2082

left_true = remove_range(left_orig, rl_max(right_orig), max);

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

2084

left_false = remove_range(left_orig, min, sub_one(rl_min(right_orig)));

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

2087

right_true = remove_range(right_orig, min, rl_min(left_orig));

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

2089

right_false = remove_range(right_orig, add_one(rl_max(left_orig)), max);

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

2094

left_true = remove_range(left_orig, add_one(rl_max(right_orig)), max);

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

2095

left_false = remove_range(left_orig, min, rl_min(right_orig));

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

2098

right_true = remove_range(right_orig, min, sub_one(rl_min(left_orig)));

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

2099

right_false = remove_range(right_orig, rl_max(left_orig), max);

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

2102

left_false = remove_range(left_false, rl_min(left_orig), rl_min(left_orig));

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

2104

right_false = remove_range(right_false, rl_max(left_orig), rl_max(left_orig));

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

2111

left_false = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig));

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

2113

right_false = remove_range(right_orig, rl_min(left_orig), rl_min(left_orig));

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

2118

left_true = remove_range(left_orig, min, sub_one(rl_min(right_orig)));

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

2119

left_false = remove_range(left_orig, rl_max(right_orig), max);

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

2122

right_true = remove_range(right_orig, add_one(rl_max(left_orig)), max);

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

2123

right_false = remove_range(right_orig, min, rl_min(left_orig));

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

2126

right_false = remove_range(right_false, rl_min(left_orig), rl_min(left_orig));

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

2128

left_false = remove_range(left_false, rl_max(left_orig), rl_max(left_orig));

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

2132

left_true = remove_range(left_orig, min, rl_min(right_orig));

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

2134

left_false = remove_range(left_orig, add_one(rl_max(right_orig)), max);

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

2136

right_true = remove_range(right_orig, rl_max(left_orig), max);

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

2138

right_false = remove_range(right_orig, min, sub_one(rl_min(left_orig)));

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

2145

left_true = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig));

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

2147

right_true = remove_range(right_orig, rl_min(left_orig), rl_min(left_orig));

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

372

ret_rl = remove_range(left_orig, rl_max(right_orig), max);

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

377

ret_rl = remove_range(left_orig, add_one(rl_max(right_orig)), max);

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

385

ret_rl = remove_range(left_orig, min, sub_one(rl_min(right_orig)));

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

389

ret_rl = remove_range(left_orig, min, rl_min(right_orig));

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

393

ret_rl = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig));