Symbol: SPECIAL_UNSIGNED_GTE
usr/src/tools/smatch/src/check_get_user_overflow.c
61
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/check_signed.c
160
right->op != SPECIAL_UNSIGNED_GTE)
usr/src/tools/smatch/src/check_signed.c
195
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/compile-i386.c
1254
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/evaluate.c
1026
op = SPECIAL_UNSIGNED_GTE;
usr/src/tools/smatch/src/expand.c
343
case SPECIAL_UNSIGNED_GTE:expr->value = l >= r; break;
usr/src/tools/smatch/src/linearize.c
1753
[SPECIAL_UNSIGNED_GTE] = OP_SET_AE,
usr/src/tools/smatch/src/smatch_capped.c
178
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_comparison.c
115
return SPECIAL_UNSIGNED_GTE;
usr/src/tools/smatch/src/smatch_comparison.c
122
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_comparison.c
144
return SPECIAL_UNSIGNED_GTE;
usr/src/tools/smatch/src/smatch_comparison.c
155
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_comparison.c
1804
saved == SPECIAL_UNSIGNED_GTE))
usr/src/tools/smatch/src/smatch_comparison.c
273
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_comparison.c
697
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_conditions.c
373
return SPECIAL_UNSIGNED_GTE;
usr/src/tools/smatch/src/smatch_constraints.c
153
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_extra.c
1601
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_extra.c
1640
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_extra.c
1648
if (op == SPECIAL_UNSIGNED_GTE ||
usr/src/tools/smatch/src/smatch_integer_overflow.c
66
expr->op != SPECIAL_GTE && expr->op != SPECIAL_UNSIGNED_GTE)
usr/src/tools/smatch/src/smatch_kernel_user_data.c
780
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_math.c
410
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_ranges.c
1147
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_ranges.c
1201
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_ranges.c
2115
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_ranges.c
383
case SPECIAL_UNSIGNED_GTE:
usr/src/tools/smatch/src/smatch_strlen.c
153
case SPECIAL_UNSIGNED_GTE: