Home
last modified time | relevance | path

Searched refs:SPECIAL_LTE (Results 1 – 21 of 21) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c112 case SPECIAL_LTE: in flip_comparison()
121 return SPECIAL_LTE; in flip_comparison()
145 case SPECIAL_LTE: in negate_comparison()
158 return SPECIAL_LTE; in negate_comparison()
310 case SPECIAL_LTE: in merge_comparisons()
329 case SPECIAL_LTE: in merge_comparisons()
377 case SPECIAL_LTE: in combine_comparisons()
395 case SPECIAL_LTE: in combine_comparisons()
453 case SPECIAL_LTE: in comparison_intersection()
484 case SPECIAL_LTE: in comparison_intersection()
[all …]
H A Dsmatch_constraints.c62 if (op == SPECIAL_LTE) in add_constraint()
253 *p = SPECIAL_LTE; in save_op_callback()
444 op = SPECIAL_LTE; in constraint_str_to_state()
H A Dcheck_signed.c111 right->op != SPECIAL_LTE && in cap_gt_zero_and_lt()
189 case SPECIAL_LTE: in cap_both_sides()
H A Dtoken.h145 SPECIAL_LTE, enumerator
H A Dcheck_get_user_overflow.c50 case SPECIAL_LTE: in match_condition()
H A Dexpand.c336 case SPECIAL_LTE: expr->value = sl <= sr; break; in simplify_cmp_binop()
412 case SPECIAL_LTE: expr->value = l <= r; break; in simplify_float_cmp()
520 case SPECIAL_LTE: in compare_types()
H A Dsmatch_capped.c169 case SPECIAL_LTE: in match_condition()
H A Dsmatch_extra.c727 case SPECIAL_LTE: in handle_canonical_for_inc()
1471 case SPECIAL_LTE: in handle_postop_inc()
1593 case SPECIAL_LTE: in handle_comparison()
1614 case SPECIAL_LTE: in handle_comparison()
1622 op == SPECIAL_LTE) in handle_comparison()
1628 op == SPECIAL_LTE) in handle_comparison()
1655 op == SPECIAL_LTE) in handle_comparison()
H A Dsmatch_strlen.c142 case SPECIAL_LTE: in match_strlen_condition()
H A Dsmatch_param_compare_limit.c246 *op = SPECIAL_LTE; in parse_comparison()
H A Dsmatch_ranges.c223 *comparison = SPECIAL_LTE; in str_to_comparison_arg_helper()
374 case SPECIAL_LTE: in filter_by_comparison()
1137 case SPECIAL_LTE: in true_comparison_range()
1189 case SPECIAL_LTE: in false_comparison_range_sval()
2092 case SPECIAL_LTE: in split_comparison_rl()
H A Dsmatch_constraints_required.c209 save_constraint_required(pointer, SPECIAL_LTE, size->left); in match_alloc_helper()
H A Dsmatch_conditions.c368 case SPECIAL_LTE: in make_op_unsigned()
H A Dsmatch_buf_comparison.c388 (comparison == SPECIAL_LTE || in buf_comparison_index_ok()
H A Dtokenize.c722 CODE('<', '=', SPECIAL_LTE), /* 0c */
H A Dexpression.c808 (op == SPECIAL_LTE) || (op == SPECIAL_GTE) in relational_expression()
H A Dsmatch_kernel_user_data.c770 case SPECIAL_LTE: in handle_compare()
H A Dsmatch_math.c422 case SPECIAL_LTE: in handle_subtract_rl()
H A Dcompile-i386.c1242 case SPECIAL_LTE: in emit_compare()
H A Dlinearize.c1749 [SPECIAL_LTE] = OP_SET_LE, in linearize_compare()
H A Devaluate.c1023 else if (op == SPECIAL_LTE) in modify_for_unsigned()