| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_comparison.c | 116 case SPECIAL_EQUAL: in flip_comparison()
117 return SPECIAL_EQUAL; in flip_comparison()
149 case SPECIAL_EQUAL: in negate_comparison()
152 return SPECIAL_EQUAL; in negate_comparison()
193 return SPECIAL_EQUAL; in rl_comparison()
314 case SPECIAL_EQUAL: in merge_comparisons()
333 case SPECIAL_EQUAL: in merge_comparisons()
381 case SPECIAL_EQUAL: in combine_comparisons()
399 case SPECIAL_EQUAL: in combine_comparisons()
458 case SPECIAL_EQUAL: in comparison_intersection()
[all …]
|
| H A D | check_impossible_mask.c | 92 if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL) in match_condition()
113 expr->op == SPECIAL_EQUAL ? "false" : "true"); in match_condition()
|
| H A D | smatch_nul_terminator.c | 282 if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL) in match_strnlen_test()
299 (expr->op == SPECIAL_EQUAL) ? &terminated : NULL, in match_strnlen_test()
303 (expr->op == SPECIAL_EQUAL) ? &terminated : NULL, in match_strnlen_test()
|
| H A D | check_or_vs_and.c | 108 if (left->type != EXPR_COMPARE || left->op != SPECIAL_EQUAL) in check_and()
110 if (right->type != EXPR_COMPARE || right->op != SPECIAL_EQUAL) in check_and()
|
| H A D | smatch_bits.c | 310 if (expr->op != SPECIAL_EQUAL && in match_compare()
318 (expr->op == SPECIAL_EQUAL) ? alloc_bstate(val.uvalue, val.uvalue) : NULL, in match_compare()
319 (expr->op == SPECIAL_EQUAL) ? NULL : alloc_bstate(val.uvalue, val.uvalue)); in match_compare()
|
| H A D | check_err_ptr_deref.c | 58 if (!possibly_true_rl(rl, SPECIAL_EQUAL, err_ptr_rl)) in check_is_err_ptr()
90 if (!estate || !possibly_true_rl(estate_rl(estate), SPECIAL_EQUAL, err_ptr_rl)) in set_param_dereferenced()
|
| H A D | check_off_by_one_relative.c | 47 if (!possible_comparison(size, SPECIAL_EQUAL, offset)) in array_check()
|
| H A D | token.h | 147 SPECIAL_EQUAL, enumerator
|
| H A D | check_zero_to_err_ptr.c | 29 if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL) in is_comparison_call()
|
| H A D | smatch_kernel_user_data.c | 672 expr->op == SPECIAL_EQUAL ? alloc_estate_empty() : NULL, in handle_eq_noteq()
673 expr->op == SPECIAL_EQUAL ? NULL : alloc_estate_empty()); in handle_eq_noteq()
676 expr->op == SPECIAL_EQUAL ? alloc_estate_empty() : NULL, in handle_eq_noteq()
677 expr->op == SPECIAL_EQUAL ? NULL : alloc_estate_empty()); in handle_eq_noteq()
797 if (expr->op == SPECIAL_EQUAL || in match_condition()
|
| H A D | check_get_user_overflow.c | 67 case SPECIAL_EQUAL: in match_condition()
|
| H A D | check_double_checking.c | 48 (expr->op == SPECIAL_EQUAL || in strip_condition()
|
| H A D | smatch_ranges.c | 231 *comparison = SPECIAL_EQUAL; in str_to_comparison_arg_helper()
245 *comparison = SPECIAL_EQUAL; in str_to_comparison_arg_helper()
379 case SPECIAL_EQUAL: in filter_by_comparison()
1141 case SPECIAL_EQUAL: in true_comparison_range()
1193 case SPECIAL_EQUAL: in false_comparison_range_sval()
2106 case SPECIAL_EQUAL: in split_comparison_rl()
|
| H A D | expand.c | 338 case SPECIAL_EQUAL: expr->value = l == r; break; in simplify_cmp_binop()
414 case SPECIAL_EQUAL: expr->value = l == r; break; in simplify_float_cmp()
512 case SPECIAL_EQUAL: in compare_types()
|
| H A D | smatch_capped.c | 182 case SPECIAL_EQUAL: in match_condition()
|
| H A D | smatch_buf_comparison.c | 284 if (!possible_comparison(size, SPECIAL_EQUAL, offset)) in array_check()
390 comparison == SPECIAL_EQUAL)) in buf_comparison_index_ok()
|
| H A D | smatch_param_compare_limit.c | 252 *op = SPECIAL_EQUAL; in parse_comparison()
|
| H A D | check_uninitialized.c | 121 success = compare_expression(expr->left, SPECIAL_EQUAL, expr->right); in match_negative_comparison()
|
| H A D | smatch_strlen.c | 146 case SPECIAL_EQUAL: in match_strlen_condition()
|
| H A D | expression.c | 154 expr->op = SPECIAL_EQUAL; in builtin_types_compatible_p_expr()
816 (op == SPECIAL_EQUAL) || (op == SPECIAL_NOTEQUAL) in equality_expression()
|
| H A D | smatch_constraints.c | 390 if (expr->op == SPECIAL_EQUAL || in match_condition()
|
| H A D | evaluate.c | 457 case SPECIAL_EQUAL: in restricted_binop()
1085 if (expr->op == SPECIAL_EQUAL || expr->op == SPECIAL_NOTEQUAL) { in evaluate_compare()
1093 int positive = expr->op == SPECIAL_EQUAL; in evaluate_compare()
1116 if (expr->op == SPECIAL_EQUAL || expr->op == SPECIAL_NOTEQUAL) { in evaluate_compare()
1971 expr->op = SPECIAL_EQUAL; in evaluate_preop()
3628 if (!restricted_binop_type(SPECIAL_EQUAL, case_expr, switch_expr, in check_case_type()
|
| H A D | smatch_function_hooks.c | 595 if (possibly_true_rl(passed, SPECIAL_EQUAL, limit)) in impossible_limit()
902 if (possibly_true_rl(range_rl, SPECIAL_EQUAL, estate_rl(db_info->ret_state))) in call_ranged_return_hooks()
|
| H A D | smatch_conditions.c | 102 if (expr->op == SPECIAL_EQUAL) { in handle_zero_comparisons()
|
| H A D | smatch_math.c | 414 case SPECIAL_EQUAL: in handle_subtract_rl()
759 if (expr->op == SPECIAL_EQUAL && expr->left->type == EXPR_TYPE) { in handle_comparison_rl()
|