usr/src/tools/smatch/src/check_get_user_overflow.c

59

case SPECIAL_GTE:

usr/src/tools/smatch/src/check_index_overflow.c

291

comparison = compare_expression(offset, SPECIAL_GTE, array_size_value);

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

159

right->op != SPECIAL_GTE &&

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

194

case SPECIAL_GTE:

usr/src/tools/smatch/src/compile-i386.c

1244

case SPECIAL_GTE:

usr/src/tools/smatch/src/evaluate.c

1025

else if (op == SPECIAL_GTE)

usr/src/tools/smatch/src/expand.c

337

case SPECIAL_GTE: expr->value = sl >= sr; break;

usr/src/tools/smatch/src/expand.c

413

case SPECIAL_GTE: expr->value = l >= r; break;

usr/src/tools/smatch/src/expand.c

522

case SPECIAL_GTE:

usr/src/tools/smatch/src/expression.c

808

(op == SPECIAL_LTE) || (op == SPECIAL_GTE)

usr/src/tools/smatch/src/linearize.c

1748

[SPECIAL_GTE] = OP_SET_GE,

usr/src/tools/smatch/src/smatch_capped.c

176

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

113

return SPECIAL_GTE;

usr/src/tools/smatch/src/smatch_comparison.c

120

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

142

return SPECIAL_GTE;

usr/src/tools/smatch/src/smatch_comparison.c

1523

add_comparison(expr->left, SPECIAL_GTE, r_right);

usr/src/tools/smatch/src/smatch_comparison.c

1528

add_comparison(expr->left, SPECIAL_GTE, r_left);

usr/src/tools/smatch/src/smatch_comparison.c

153

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

1549

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

1553

add_comparison(expr->left, SPECIAL_GTE, r_left);

usr/src/tools/smatch/src/smatch_comparison.c

1737

ret = SPECIAL_GTE;

usr/src/tools/smatch/src/smatch_comparison.c

1802

saved == SPECIAL_GTE ||

usr/src/tools/smatch/src/smatch_comparison.c

202

return SPECIAL_GTE;

usr/src/tools/smatch/src/smatch_comparison.c

2410

*op = SPECIAL_GTE;

usr/src/tools/smatch/src/smatch_comparison.c

274

return SPECIAL_GTE;

usr/src/tools/smatch/src/smatch_comparison.c

317

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

336

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

353

return SPECIAL_GTE;

usr/src/tools/smatch/src/smatch_comparison.c

383

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

401

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

417

return SPECIAL_GTE;

usr/src/tools/smatch/src/smatch_comparison.c

466

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

497

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

518

return SPECIAL_GTE;

usr/src/tools/smatch/src/smatch_comparison.c

696

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_comparison.c

712

flip ? SPECIAL_GTE : SPECIAL_LTE,

usr/src/tools/smatch/src/smatch_conditions.c

372

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_constraints.c

152

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_db.c

1714

if (!assume(compare_expression(expr, separate_zero ? '>' : SPECIAL_GTE, zero_expr())))

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

1602

case SPECIAL_GTE:

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

1641

case SPECIAL_GTE:

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

1649

op == SPECIAL_GTE)

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

610

if (comparison != SPECIAL_GTE && comparison != '>')

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

677

if (op == SPECIAL_GTE)

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

778

case SPECIAL_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

779

case SPECIAL_GTE:

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

409

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_param_compare_limit.c

263

*op = SPECIAL_GTE;

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

1148

case SPECIAL_GTE:

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

1202

case SPECIAL_GTE:

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

2116

case SPECIAL_GTE:

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

235

*comparison = SPECIAL_GTE;

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

382

case SPECIAL_GTE:

usr/src/tools/smatch/src/smatch_strlen.c

152

case SPECIAL_GTE:

usr/src/tools/smatch/src/tokenize.c

734

CODE('>', '=', SPECIAL_GTE), /* 1d */