/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_precedence.c | 81 if (expr->type == EXPR_BINOP) { in match_condition() 91 if (expr->type == EXPR_BINOP && expr->op == '&') { in match_condition() 115 if (expr->right->type != EXPR_BINOP) in match_mask() 137 if (expr->right->type != EXPR_BINOP) in match_subtract_shift()
|
H A D | check_access_ok_math.c | 29 if (expr->type == EXPR_BINOP) { in can_overflow() 54 if (size_expr->type != EXPR_BINOP) { in match_size() 56 if (!size_expr || size_expr->type != EXPR_BINOP) in match_size()
|
H A D | check_64bit_shift.c | 30 if (expr->type != EXPR_BINOP || expr->op != '&') in match_shift_mask() 40 if (right->type != EXPR_BINOP || right->op != SPECIAL_LEFTSHIFT) in match_shift_mask() 62 if (right->type != EXPR_BINOP || right->op != SPECIAL_LEFTSHIFT) in match_shift_assignment()
|
H A D | smatch_constraints_required.c | 105 if (size->type != EXPR_BINOP || size->op != '+') in handle_zero_size_arrays() 132 if (right->type == EXPR_BINOP && right->op == '*') { in handle_zero_size_arrays() 190 if (size->type == EXPR_BINOP && size->op == '*') { in match_alloc_helper() 206 if (size->type == EXPR_BINOP && size->op == '+' && in match_alloc_helper() 371 if (array->type != EXPR_BINOP || array->op != '+') in match_assign_ARRAY_SIZE() 374 if (array->type != EXPR_BINOP || array->op != '/') in match_assign_ARRAY_SIZE()
|
H A D | check_resource_size.c | 27 if (expr->type == EXPR_BINOP) in is_probably_ok() 37 if (expr->type != EXPR_BINOP) in verify_size_expr()
|
H A D | check_macros.c | 67 if (expr->left->type == EXPR_BINOP) in match_join() 69 if (expr->right->type == EXPR_BINOP) in match_join()
|
H A D | check_signed_integer_overflow_check.c | 48 if (left->type != EXPR_BINOP) { in match_condition() 51 if (!left || left->type != EXPR_BINOP) in match_condition()
|
H A D | check_impossible_mask.c | 35 if (expr->type == EXPR_BINOP && (expr->op == '&' || expr->op == '|')) { 69 if (expr->type != EXPR_BINOP) in get_possible_bits()
|
H A D | check_implicit_dependencies_tester.c | 14 [EXPR_BINOP] = "EXPR_BINOP", in expression_type_name() 137 if (expr->type == EXPR_COMPARE || expr->type == EXPR_BINOP in match_condition()
|
H A D | smatch_buf_comparison.c | 172 if (size->type == EXPR_BINOP && size->op == '*') { in match_alloc_helper() 192 if (size->type == EXPR_BINOP && size->op == '+' && in match_alloc_helper() 231 if (arg->type == EXPR_BINOP && arg->op == '+' && in match_calloc() 554 (arg->type == EXPR_BINOP && in buf_size_param_comparison() 706 if (!parent || parent->type != EXPR_BINOP) in set_used() 738 if (size->type == EXPR_BINOP) in match_assign_size() 752 if (right->type == EXPR_BINOP && !match_size_binop(size, right, &limit_type)) in match_assign_size()
|
H A D | check_spectre.c | 109 } else if (expr->type == EXPR_BINOP) { in get_max_by_type() 142 if (expr->type == EXPR_BINOP && expr->op == '&') { in get_mask()
|
H A D | smatch_helper.c | 155 if (expr->type != EXPR_BINOP || expr->op != '+') in get_array_expr() 270 case EXPR_BINOP: { in __get_variable_from_expr() 516 case EXPR_BINOP: in get_complication_score() 540 if (expr->type != EXPR_BINOP) in reorder_expr_alphabetically() 653 if (expr->type == EXPR_BINOP && expr->op == '+') in is_array() 657 if (expr->type != EXPR_BINOP || expr->op != '+') in is_array() 674 if (expr->type != EXPR_BINOP || expr->op != '+') in get_array_base() 686 if (expr->type != EXPR_BINOP || expr->op != '+') in get_array_offset()
|
H A D | expression.c | 509 struct expression *add = alloc_expression(token->pos, EXPR_BINOP); in postfix_expression() 782 token, tree, EXPR_BINOP, cast_expression, in multiplicative_expression() 790 token, tree, EXPR_BINOP, multiplicative_expression, in additive_expression() 798 token, tree, EXPR_BINOP, additive_expression, in shift_expression() 823 token, tree, EXPR_BINOP, equality_expression, in bitwise_and_expression() 831 token, tree, EXPR_BINOP, bitwise_and_expression, in bitwise_xor_expression() 839 token, tree, EXPR_BINOP, bitwise_xor_expression, in bitwise_or_expression()
|
H A D | smatch_kernel_user_data.c | 163 if (expr->type == EXPR_BINOP) in user_rl_capped() 379 if (expr->type == EXPR_BINOP && expr->op == '+') in is_skb_data() 460 if (expr->type == EXPR_BINOP && expr->op == '+') { in points_to_user_data() 510 if (expr->type == EXPR_BINOP && expr->op == '+') in comes_from_skb_data() 831 while (parent && parent->type != EXPR_BINOP) in get_user_macro_rl() 833 if (parent && parent->type == EXPR_BINOP) { in get_user_macro_rl() 911 if (expr->type == EXPR_BINOP && expr->op == '%') { in var_user_rl() 921 if (expr->type == EXPR_BINOP && expr->op == '/') { in var_user_rl() 996 if (expr->type == EXPR_BINOP && expr->op == '-' && in is_ptr_subtract()
|
H A D | ast-inspect.c | 158 [EXPR_BINOP] = "EXPR_BINOP", in expression_type_name() 196 case EXPR_BINOP: in inspect_expression()
|
H A D | check_test_bit.c | 31 if (!arg || arg->type != EXPR_BINOP) in match_test_bit()
|
H A D | smatch_function_ptrs.c | 65 if (expr->type == EXPR_BINOP && expr->op == '+') in xxx_is_array() 69 if (expr->type != EXPR_BINOP || expr->op != '+') in xxx_is_array() 88 if (expr->type != EXPR_BINOP || expr->op != '+') in xxx_get_array_base()
|
H A D | check_logical_instead_of_bitwise.c | 27 if (expr->type != EXPR_BINOP) in is_bitshift()
|
H A D | smatch_integer_overflow.c | 72 if (right->type != EXPR_BINOP || right->op != '/') in match_divide() 161 } else if (expr->type == EXPR_BINOP) { in can_integer_overflow()
|
H A D | check_shift_to_zero.c | 56 if (left->type != EXPR_BINOP || left->op != '&') in match_binop2()
|
H A D | check_kmalloc_wrong_size.c | 60 if (!arg || arg->type != EXPR_BINOP || arg->op != '*') in match_alloc()
|
H A D | check_memcpy_overflow.c | 100 if (limit->type != EXPR_BINOP || limit->op != '*') in is_likely_multiple() 201 if (expr->type == EXPR_BINOP) /* array elements foo[5] */ in is_one_element_array()
|
H A D | smatch_expressions.c | 88 if (expr->type == EXPR_BINOP) in deref_expression() 112 expr = alloc_tmp_expression(right->pos, EXPR_BINOP); in binop_expression()
|
H A D | smatch_buf_size.c | 306 if (expr->type == EXPR_BINOP) /* array elements foo[5] */ in get_real_array_size() 372 if (expr->type == EXPR_BINOP && expr->op == '+' && in remove_addr_fluff() 430 if (expr->type == EXPR_BINOP) /* array elements foo[5] */ in get_stored_size_end_struct_bytes() 487 if (expr->type == EXPR_BINOP && expr->op == '+') { in get_array_size_bytes_rl()
|
H A D | check_readl_infinite_loops.c | 69 if (expr->type == EXPR_BINOP) { in condition_depends_on_readl()
|