Home
last modified time | relevance | path

Searched refs:SPECIAL_UNSIGNED_GT (Results 1 – 17 of 17) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_signed.c158 right->op != SPECIAL_UNSIGNED_GT && in cap_lt_zero_or_gt()
193 case SPECIAL_UNSIGNED_GT: in cap_both_sides()
H A Dtoken.h163 SPECIAL_UNSIGNED_GT, enumerator
H A Dcheck_get_user_overflow.c60 case SPECIAL_UNSIGNED_GT: in match_condition()
H A Dsmatch_comparison.c111 return SPECIAL_UNSIGNED_GT; in flip_comparison()
126 case SPECIAL_UNSIGNED_GT: in flip_comparison()
148 return SPECIAL_UNSIGNED_GT; in negate_comparison()
159 case SPECIAL_UNSIGNED_GT: in negate_comparison()
275 case SPECIAL_UNSIGNED_GT: in remove_unsigned_from_comparison()
699 case SPECIAL_UNSIGNED_GT: in match_inc()
1293 if (op == SPECIAL_UNSIGNED_GT && in handle_comparison()
H A Dsmatch_integer_overflow.c65 if (expr->op != '>' && expr->op != SPECIAL_UNSIGNED_GT && in match_divide()
H A Dsmatch_capped.c177 case SPECIAL_UNSIGNED_GT: in match_condition()
H A Dsmatch_strlen.c157 case SPECIAL_UNSIGNED_GT: in match_strlen_condition()
H A Dsmatch_constraints.c151 case SPECIAL_UNSIGNED_GT: in negate_gt()
H A Dsmatch_ranges.c388 case SPECIAL_UNSIGNED_GT: in filter_by_comparison()
1153 case SPECIAL_UNSIGNED_GT: in true_comparison_range()
1207 case SPECIAL_UNSIGNED_GT: in false_comparison_range_sval()
2131 case SPECIAL_UNSIGNED_GT: in split_comparison_rl()
H A Dsmatch_conditions.c371 return SPECIAL_UNSIGNED_GT; in make_op_unsigned()
H A Dsmatch_extra.c1600 case SPECIAL_UNSIGNED_GT: in handle_comparison()
1639 case SPECIAL_UNSIGNED_GT: in handle_comparison()
1643 if (op == '>' || op == SPECIAL_UNSIGNED_GT) in handle_comparison()
1661 op == SPECIAL_UNSIGNED_GT) in handle_comparison()
H A Dexpand.c341 case SPECIAL_UNSIGNED_GT:expr->value = l > r; break; in simplify_cmp_binop()
H A Dsmatch_kernel_user_data.c778 case SPECIAL_UNSIGNED_GT: in handle_compare()
H A Dsmatch_math.c405 case SPECIAL_UNSIGNED_GT: in handle_subtract_rl()
H A Dcompile-i386.c1250 case SPECIAL_UNSIGNED_GT: in emit_compare()
H A Dlinearize.c1751 [SPECIAL_UNSIGNED_GT] = OP_SET_A, in linearize_compare()
H A Devaluate.c1022 op = SPECIAL_UNSIGNED_GT; in modify_for_unsigned()