Home
last modified time | relevance | path

Searched refs:SPECIAL_UNSIGNED_LT (Results 1 – 18 of 18) sorted by path

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_get_user_overflow.c51 case SPECIAL_UNSIGNED_LT: in match_condition()
H A Dcheck_index_overflow.c344 if (expr->op != '<' && expr->op != SPECIAL_UNSIGNED_LT) in match_condition()
H A Dcheck_signed.c110 right->op != SPECIAL_UNSIGNED_LT && in cap_gt_zero_and_lt()
188 case SPECIAL_UNSIGNED_LT: in cap_both_sides()
205 if (expr->op != SPECIAL_UNSIGNED_LT) in compare_against_macro()
218 if (expr->op != SPECIAL_UNSIGNED_LT) in print_unsigned_never_less_than_zero()
H A Dcompile-i386.c1248 case SPECIAL_UNSIGNED_LT: in emit_compare()
H A Devaluate.c1020 op = SPECIAL_UNSIGNED_LT; in modify_for_unsigned()
H A Dexpand.c340 case SPECIAL_UNSIGNED_LT:expr->value = l < r; break; in simplify_cmp_binop()
H A Dlinearize.c1750 [SPECIAL_UNSIGNED_LT] = OP_SET_B, in linearize_compare()
H A Dsmatch_buf_comparison.c385 (comparison == '<' || comparison == SPECIAL_UNSIGNED_LT)) in buf_comparison_index_ok()
H A Dsmatch_capped.c170 case SPECIAL_UNSIGNED_LT: in match_condition()
H A Dsmatch_comparison.c110 case SPECIAL_UNSIGNED_LT: in flip_comparison()
127 return SPECIAL_UNSIGNED_LT; in flip_comparison()
143 case SPECIAL_UNSIGNED_LT: in negate_comparison()
156 return SPECIAL_UNSIGNED_LT; in negate_comparison()
269 case SPECIAL_UNSIGNED_LT: in remove_unsigned_from_comparison()
709 case SPECIAL_UNSIGNED_LT: in match_inc()
749 case SPECIAL_UNSIGNED_LT: { in match_dec()
1155 if (expr->op != '<' && expr->op != SPECIAL_UNSIGNED_LT) in handle_for_loops()
1288 if (op == SPECIAL_UNSIGNED_LT && in handle_comparison()
H A Dsmatch_conditions.c367 return SPECIAL_UNSIGNED_LT; in make_op_unsigned()
H A Dsmatch_extra.c720 case SPECIAL_UNSIGNED_LT: in handle_canonical_for_inc()
742 condition->op == SPECIAL_UNSIGNED_LT || in handle_canonical_for_inc()
1469 case SPECIAL_UNSIGNED_LT: in handle_postop_inc()
1591 case SPECIAL_UNSIGNED_LT: in handle_comparison()
1612 case SPECIAL_UNSIGNED_LT: in handle_comparison()
1616 if (op == '<' || op == SPECIAL_UNSIGNED_LT) in handle_comparison()
1633 if (op == '<' || op == SPECIAL_UNSIGNED_LT) in handle_comparison()
1902 if (expr->op != '<' && expr->op != SPECIAL_UNSIGNED_LT) in handle_integer_overflow_test()
H A Dsmatch_integer_overflow.c106 if (expr->op != '<' && expr->op != SPECIAL_UNSIGNED_LT) in match_overflow_to_less_than()
H A Dsmatch_kernel_user_data.c769 case SPECIAL_UNSIGNED_LT: in handle_compare()
H A Dsmatch_math.c419 case SPECIAL_UNSIGNED_LT: in handle_subtract_rl()
H A Dsmatch_ranges.c371 case SPECIAL_UNSIGNED_LT: in filter_by_comparison()
1132 case SPECIAL_UNSIGNED_LT: in true_comparison_range()
1184 case SPECIAL_UNSIGNED_LT: in false_comparison_range_sval()
2081 case SPECIAL_UNSIGNED_LT: in split_comparison_rl()
H A Dsmatch_strlen.c139 case SPECIAL_UNSIGNED_LT: in match_strlen_condition()
H A Dtoken.h162 SPECIAL_UNSIGNED_LT, enumerator