Symbol: SPECIAL_UNSIGNED_LTE
usr/src/tools/smatch/src/check_get_user_overflow.c
52
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/check_signed.c
112
right->op != SPECIAL_UNSIGNED_LTE)
usr/src/tools/smatch/src/check_signed.c
190
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/compile-i386.c
1252
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/evaluate.c
1024
op = SPECIAL_UNSIGNED_LTE;
usr/src/tools/smatch/src/expand.c
342
case SPECIAL_UNSIGNED_LTE:expr->value = l <= r; break;
usr/src/tools/smatch/src/linearize.c
1752
[SPECIAL_UNSIGNED_LTE] = OP_SET_BE,
usr/src/tools/smatch/src/smatch_buf_comparison.c
389
comparison == SPECIAL_UNSIGNED_LTE ||
usr/src/tools/smatch/src/smatch_capped.c
171
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_comparison.c
114
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_comparison.c
123
return SPECIAL_UNSIGNED_LTE;
usr/src/tools/smatch/src/smatch_comparison.c
147
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_comparison.c
160
return SPECIAL_UNSIGNED_LTE;
usr/src/tools/smatch/src/smatch_comparison.c
1803
saved == SPECIAL_UNSIGNED_LTE ||
usr/src/tools/smatch/src/smatch_comparison.c
271
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_comparison.c
747
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_conditions.c
369
return SPECIAL_UNSIGNED_LTE;
usr/src/tools/smatch/src/smatch_extra.c
1472
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_extra.c
1592
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_extra.c
1613
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_extra.c
1621
if (op == SPECIAL_UNSIGNED_LTE ||
usr/src/tools/smatch/src/smatch_extra.c
1627
if (op == SPECIAL_UNSIGNED_LTE ||
usr/src/tools/smatch/src/smatch_extra.c
1654
if (op == SPECIAL_UNSIGNED_LTE ||
usr/src/tools/smatch/src/smatch_extra.c
726
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_kernel_user_data.c
771
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_math.c
423
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_ranges.c
1136
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_ranges.c
1188
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_ranges.c
2091
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_ranges.c
375
case SPECIAL_UNSIGNED_LTE:
usr/src/tools/smatch/src/smatch_strlen.c
143
case SPECIAL_UNSIGNED_LTE: