Symbol: sval_cmp
usr/src/tools/smatch/src/check_arm64_tagged.c
137
if (sval_cmp(tmp->max, sval) >= 0)
usr/src/tools/smatch/src/check_arm64_tagged.c
148
if (!sval_cmp(tmp->min, sval)) {
usr/src/tools/smatch/src/check_err_ptr_deref.c
202
if (!sval_is_a_min(tmp_min) && sval_cmp(tmp_min, min) < 0)
usr/src/tools/smatch/src/check_err_ptr_deref.c
205
if (!sval_is_a_max(tmp_max) && sval_cmp(tmp_max, max) > 0)
usr/src/tools/smatch/src/check_index_overflow.c
64
sval_cmp(rl_max(implied_rl), *sval) < 0)
usr/src/tools/smatch/src/check_index_overflow.c
86
sval_cmp(rl_max(implied_rl), *sval) < 0)
usr/src/tools/smatch/src/check_kernel.c
224
if (sval_cmp(min, max) > 0)
usr/src/tools/smatch/src/check_min_t.c
42
if (sval_cmp(max_left, max_right) >= 0)
usr/src/tools/smatch/src/check_signed.c
58
sval_cmp(max, sval) < 0 &&
usr/src/tools/smatch/src/check_zero_to_err_ptr.c
104
if (sval_cmp(valid_ptr_min_sval, sval) <= 0 &&
usr/src/tools/smatch/src/check_zero_to_err_ptr.c
105
sval_cmp(valid_ptr_max_sval, sval) >= 0) {
usr/src/tools/smatch/src/smatch_common_functions.c
56
if (sval_cmp(bound, ulong_max) == 0)
usr/src/tools/smatch/src/smatch_common_functions.c
58
if (rl_to_sval(*rl, &fixed) && sval_cmp(fixed, bound) >= 0) {
usr/src/tools/smatch/src/smatch_comparison.c
195
if (sval_cmp(left_max, right_min) < 0)
usr/src/tools/smatch/src/smatch_comparison.c
197
if (sval_cmp(left_max, right_min) == 0)
usr/src/tools/smatch/src/smatch_comparison.c
199
if (sval_cmp(left_min, right_max) > 0)
usr/src/tools/smatch/src/smatch_comparison.c
201
if (sval_cmp(left_min, right_max) == 0)
usr/src/tools/smatch/src/smatch_estate.c
285
if (sval_cmp(min, max) != 0)
usr/src/tools/smatch/src/smatch_extra.c
1015
if (sval_cmp(sval_type_min(type), rl_min(rl)) > 0)
usr/src/tools/smatch/src/smatch_extra.c
1017
if (sval_cmp(sval_type_max(type), rl_max(rl)) < 0)
usr/src/tools/smatch/src/smatch_extra.c
1464
if (sval_cmp(start, limit) > 0)
usr/src/tools/smatch/src/smatch_extra.c
2111
sval_cmp(max, rl_max(orig_rl)) == 0 &&
usr/src/tools/smatch/src/smatch_extra.c
664
if (sval_cmp(estate_min(sm->state), right) < 0)
usr/src/tools/smatch/src/smatch_extra.c
672
if (sval_cmp(start, right) <= 0)
usr/src/tools/smatch/src/smatch_extra.c
732
if (sval_cmp(end, start) < 0)
usr/src/tools/smatch/src/smatch_extra.c
783
if (sval_cmp(end, start) > 0)
usr/src/tools/smatch/src/smatch_extra.c
900
if (sval_cmp(hmax, max) != 0)
usr/src/tools/smatch/src/smatch_integer_overflow.c
176
if (sval_cmp(res, sval_type_max(type)) > 0)
usr/src/tools/smatch/src/smatch_kernel_user_data.c
942
if (sval_cmp(rl_max(left), rl_max(rl)) < 0)
usr/src/tools/smatch/src/smatch_math.c
1097
if (sval_cmp(min, max) > 0) {
usr/src/tools/smatch/src/smatch_math.c
1782
if (sval_cmp(*sval, sval_type_min(type)) < 0)
usr/src/tools/smatch/src/smatch_math.c
1802
if (sval_cmp(sval_type_max(type), *sval) < 0)
usr/src/tools/smatch/src/smatch_math.c
436
if (sval_cmp(tmp, min) > 0)
usr/src/tools/smatch/src/smatch_math.c
442
if (sval_cmp(tmp, max) < 0)
usr/src/tools/smatch/src/smatch_math.c
603
if (sval_cmp(tmp->min, tmp->max) != 0)
usr/src/tools/smatch/src/smatch_mtag_map.c
46
if (sval_cmp(sval, valid_ptr_min_sval) < 0 ||
usr/src/tools/smatch/src/smatch_mtag_map.c
47
sval_cmp(sval, valid_ptr_max_sval) > 0)
usr/src/tools/smatch/src/smatch_parse_call_math.c
351
if (sval_cmp(sval, valid_ptr_min_sval) >= 0 &&
usr/src/tools/smatch/src/smatch_parse_call_math.c
352
sval_cmp(sval, valid_ptr_max_sval) <= 0)
usr/src/tools/smatch/src/smatch_ranges.c
1058
if (sval_cmp(min, max) > 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1065
if (sval_cmp(tmp->max, min) < 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1069
if (sval_cmp(tmp->min, max) > 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1073
if (sval_cmp(tmp->min, min) >= 0 && sval_cmp(tmp->max, max) <= 0)
usr/src/tools/smatch/src/smatch_ranges.c
1075
if (sval_cmp(tmp->min, min) >= 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1078
} else if (sval_cmp(tmp->max, max) <= 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1097
if (sval_cmp(one->min, two->min) != 0)
usr/src/tools/smatch/src/smatch_ranges.c
1099
if (sval_cmp(one->max, two->max) != 0)
usr/src/tools/smatch/src/smatch_ranges.c
1133
if (sval_cmp(left->min, right->max) < 0)
usr/src/tools/smatch/src/smatch_ranges.c
1138
if (sval_cmp(left->min, right->max) <= 0)
usr/src/tools/smatch/src/smatch_ranges.c
1142
if (sval_cmp(left->max, right->min) < 0)
usr/src/tools/smatch/src/smatch_ranges.c
1144
if (sval_cmp(left->min, right->max) > 0)
usr/src/tools/smatch/src/smatch_ranges.c
1149
if (sval_cmp(left->max, right->min) >= 0)
usr/src/tools/smatch/src/smatch_ranges.c
1154
if (sval_cmp(left->max, right->min) > 0)
usr/src/tools/smatch/src/smatch_ranges.c
1158
if (sval_cmp(left->min, left->max) != 0)
usr/src/tools/smatch/src/smatch_ranges.c
1160
if (sval_cmp(right->min, right->max) != 0)
usr/src/tools/smatch/src/smatch_ranges.c
1162
if (sval_cmp(left->min, right->min) != 0)
usr/src/tools/smatch/src/smatch_ranges.c
1185
if (sval_cmp(left->max, right->min) >= 0)
usr/src/tools/smatch/src/smatch_ranges.c
1190
if (sval_cmp(left->max, right->min) > 0)
usr/src/tools/smatch/src/smatch_ranges.c
1194
if (sval_cmp(left->min, left->max) != 0)
usr/src/tools/smatch/src/smatch_ranges.c
1196
if (sval_cmp(right->min, right->max) != 0)
usr/src/tools/smatch/src/smatch_ranges.c
1198
if (sval_cmp(left->min, right->min) != 0)
usr/src/tools/smatch/src/smatch_ranges.c
1203
if (sval_cmp(left->min, right->max) < 0)
usr/src/tools/smatch/src/smatch_ranges.c
1208
if (sval_cmp(left->min, right->max) <= 0)
usr/src/tools/smatch/src/smatch_ranges.c
1212
if (sval_cmp(left->max, right->min) < 0)
usr/src/tools/smatch/src/smatch_ranges.c
1214
if (sval_cmp(left->min, right->max) > 0)
usr/src/tools/smatch/src/smatch_ranges.c
1366
if (sval_cmp(tmp->min, sval) <= 0 &&
usr/src/tools/smatch/src/smatch_ranges.c
1367
sval_cmp(tmp->max, sval) >= 0)
usr/src/tools/smatch/src/smatch_ranges.c
1428
if (sval_cmp(min, max) > 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1442
if (sval_cmp(rl_max(rl), sval_type_max(type)) > 0)
usr/src/tools/smatch/src/smatch_ranges.c
1445
sval_cmp(rl_min(rl), sval_type_min(type)) < 0)
usr/src/tools/smatch/src/smatch_ranges.c
150
if (sval_cmp(min, max) == 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1546
if (sval_cmp(one->max, two->min) < 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1550
if (sval_cmp(one->min, two->min) < 0 && sval_cmp(one->max, two->max) <= 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1555
if (sval_cmp(one->min, two->min) >= 0 && sval_cmp(one->max, two->max) <= 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1560
if (sval_cmp(one->min, two->min) < 0 && sval_cmp(one->max, two->max) > 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1565
if (sval_cmp(one->min, two->max) <= 0 && sval_cmp(one->max, two->max) > 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1570
if (sval_cmp(one->min, two->max) <= 0) {
usr/src/tools/smatch/src/smatch_ranges.c
1622
if (sval_cmp(rl_max(left), max) < 0)
usr/src/tools/smatch/src/smatch_ranges.c
1807
if (sval_cmp(tmp, min) > 0)
usr/src/tools/smatch/src/smatch_ranges.c
1811
(min.value != 0 && sval_cmp(res_ll, min) >= 0)) {
usr/src/tools/smatch/src/smatch_ranges.c
1822
if (sval_cmp(tmp, max) < 0)
usr/src/tools/smatch/src/smatch_ranges.c
2101
if (sval_cmp(rl_min(left_orig), rl_min(right_orig)) == 0)
usr/src/tools/smatch/src/smatch_ranges.c
2103
if (sval_cmp(rl_max(left_orig), rl_max(right_orig)) == 0)
usr/src/tools/smatch/src/smatch_ranges.c
2110
if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0)
usr/src/tools/smatch/src/smatch_ranges.c
2112
if (sval_cmp(rl_min(left_orig), rl_max(left_orig)) == 0)
usr/src/tools/smatch/src/smatch_ranges.c
2125
if (sval_cmp(rl_min(left_orig), rl_min(right_orig)) == 0)
usr/src/tools/smatch/src/smatch_ranges.c
2127
if (sval_cmp(rl_max(left_orig), rl_max(right_orig)) == 0)
usr/src/tools/smatch/src/smatch_ranges.c
2144
if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0)
usr/src/tools/smatch/src/smatch_ranges.c
2146
if (sval_cmp(rl_min(left_orig), rl_max(left_orig)) == 0)
usr/src/tools/smatch/src/smatch_ranges.c
392
if (sval_cmp(rl_min(right_orig), rl_max(right_orig)) == 0)
usr/src/tools/smatch/src/smatch_ranges.c
545
if (sval_cmp(min, sval_type_min(type)) != 0)
usr/src/tools/smatch/src/smatch_ranges.c
670
if (sval_cmp(tmp->min, tmp->max) > 0)
usr/src/tools/smatch/src/smatch_ranges.c
718
if (sval_cmp(drange->min, valid_ptr_min_sval) == 0 &&
usr/src/tools/smatch/src/smatch_ranges.c
719
sval_cmp(drange->max, valid_ptr_max_sval) == 0)
usr/src/tools/smatch/src/smatch_ranges.c
780
if (sval_cmp(min, max) != 0)
usr/src/tools/smatch/src/smatch_ranges.c
820
if (sval_cmp(min, max) > 0)
usr/src/tools/smatch/src/smatch_ranges.c
870
if (sval_cmp(tmp->min, valid_ptr_min_sval) >= 0 &&
usr/src/tools/smatch/src/smatch_ranges.c
871
sval_cmp(tmp->max, valid_ptr_max_sval) <= 0)
usr/src/tools/smatch/src/smatch_ranges.c
90
} else if (sval_cmp(tmp->min, tmp->max) == 0) {
usr/src/tools/smatch/src/smatch_ranges.c
921
if (sval_cmp(min, max) > 0) {
usr/src/tools/smatch/src/smatch_ranges.c
946
if (sval_cmp(max, tmp->min) < 0)
usr/src/tools/smatch/src/smatch_ranges.c
949
if (sval_cmp(max, tmp->max) <= 0) {
usr/src/tools/smatch/src/smatch_ranges.c
967
if (sval_cmp(max, tmp->min) < 0) { /* new range entirely below */
usr/src/tools/smatch/src/smatch_ranges.c
972
if (sval_cmp(min, tmp->min) < 0) { /* new range partially below */
usr/src/tools/smatch/src/smatch_ranges.c
973
if (sval_cmp(max, tmp->max) < 0)
usr/src/tools/smatch/src/smatch_ranges.c
983
if (sval_cmp(max, tmp->max) <= 0) /* new range already included */
usr/src/tools/smatch/src/smatch_ranges.c
985
if (sval_cmp(min, tmp->max) <= 0) { /* new range partially above */
usr/src/tools/smatch/src/smatch_sval.c
273
return sval_cmp(one_cast, two_cast);
usr/src/tools/smatch/src/smatch_sval.c
281
return sval_cmp(one, sval);
usr/src/tools/smatch/src/smatch_sval.c
286
if (sval_cmp(one, two) > 0)
usr/src/tools/smatch/src/smatch_sval.c
293
if (sval_cmp(one, two) < 0)
usr/src/tools/smatch/src/smatch_sval.c
307
if (sval_cmp(sval, sval_type_min(type)) < 0)
usr/src/tools/smatch/src/smatch_sval.c
686
if (sval_cmp(left, right) < 0)
usr/src/tools/smatch/src/smatch_sval.c
708
if (sval_cmp(left, sval_binop(max, invert_op(op), right)) > 0)