Home
last modified time | relevance | path

Searched refs:SPECIAL_UNSIGNED_LTE (Results 1 – 16 of 16) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_signed.c112 right->op != SPECIAL_UNSIGNED_LTE) in cap_gt_zero_and_lt()
190 case SPECIAL_UNSIGNED_LTE: in cap_both_sides()
H A Dtoken.h164 SPECIAL_UNSIGNED_LTE, enumerator
H A Dcheck_get_user_overflow.c52 case SPECIAL_UNSIGNED_LTE: in match_condition()
H A Dsmatch_comparison.c114 case SPECIAL_UNSIGNED_LTE: in flip_comparison()
123 return SPECIAL_UNSIGNED_LTE; in flip_comparison()
147 case SPECIAL_UNSIGNED_LTE: in negate_comparison()
160 return SPECIAL_UNSIGNED_LTE; in negate_comparison()
271 case SPECIAL_UNSIGNED_LTE: in remove_unsigned_from_comparison()
747 case SPECIAL_UNSIGNED_LTE: in match_dec()
1803 saved == SPECIAL_UNSIGNED_LTE || in possible_comparison()
H A Dsmatch_capped.c171 case SPECIAL_UNSIGNED_LTE: in match_condition()
H A Dsmatch_extra.c726 case SPECIAL_UNSIGNED_LTE: in handle_canonical_for_inc()
1472 case SPECIAL_UNSIGNED_LTE: in handle_postop_inc()
1592 case SPECIAL_UNSIGNED_LTE: in handle_comparison()
1613 case SPECIAL_UNSIGNED_LTE: in handle_comparison()
1621 if (op == SPECIAL_UNSIGNED_LTE || in handle_comparison()
1627 if (op == SPECIAL_UNSIGNED_LTE || in handle_comparison()
1654 if (op == SPECIAL_UNSIGNED_LTE || in handle_comparison()
H A Dsmatch_strlen.c143 case SPECIAL_UNSIGNED_LTE: in match_strlen_condition()
H A Dsmatch_ranges.c375 case SPECIAL_UNSIGNED_LTE: in filter_by_comparison()
1136 case SPECIAL_UNSIGNED_LTE: in true_comparison_range()
1188 case SPECIAL_UNSIGNED_LTE: in false_comparison_range_sval()
2091 case SPECIAL_UNSIGNED_LTE: in split_comparison_rl()
H A Dsmatch_conditions.c369 return SPECIAL_UNSIGNED_LTE; in make_op_unsigned()
H A Dsmatch_buf_comparison.c389 comparison == SPECIAL_UNSIGNED_LTE || in buf_comparison_index_ok()
H A Dexpand.c342 case SPECIAL_UNSIGNED_LTE:expr->value = l <= r; break; in simplify_cmp_binop()
H A Dsmatch_kernel_user_data.c771 case SPECIAL_UNSIGNED_LTE: in handle_compare()
H A Dsmatch_math.c423 case SPECIAL_UNSIGNED_LTE: in handle_subtract_rl()
H A Dcompile-i386.c1252 case SPECIAL_UNSIGNED_LTE: in emit_compare()
H A Dlinearize.c1752 [SPECIAL_UNSIGNED_LTE] = OP_SET_BE, in linearize_compare()
H A Devaluate.c1024 op = SPECIAL_UNSIGNED_LTE; in modify_for_unsigned()