Home
last modified time | relevance | path

Searched refs:EXPR_BINOP (Results 1 – 25 of 55) sorted by relevance

123

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_precedence.c81 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 Dcheck_access_ok_math.c29 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 Dcheck_64bit_shift.c30 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 Dsmatch_constraints_required.c105 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 Dcheck_resource_size.c27 if (expr->type == EXPR_BINOP) in is_probably_ok()
37 if (expr->type != EXPR_BINOP) in verify_size_expr()
H A Dcheck_macros.c67 if (expr->left->type == EXPR_BINOP) in match_join()
69 if (expr->right->type == EXPR_BINOP) in match_join()
H A Dcheck_signed_integer_overflow_check.c48 if (left->type != EXPR_BINOP) { in match_condition()
51 if (!left || left->type != EXPR_BINOP) in match_condition()
H A Dcheck_impossible_mask.c35 if (expr->type == EXPR_BINOP && (expr->op == '&' || expr->op == '|')) {
69 if (expr->type != EXPR_BINOP) in get_possible_bits()
H A Dcheck_implicit_dependencies_tester.c14 [EXPR_BINOP] = "EXPR_BINOP", in expression_type_name()
137 if (expr->type == EXPR_COMPARE || expr->type == EXPR_BINOP in match_condition()
H A Dsmatch_buf_comparison.c172 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 Dcheck_spectre.c109 } else if (expr->type == EXPR_BINOP) { in get_max_by_type()
142 if (expr->type == EXPR_BINOP && expr->op == '&') { in get_mask()
H A Dsmatch_helper.c155 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 Dexpression.c509 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 Dsmatch_kernel_user_data.c163 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 Dast-inspect.c158 [EXPR_BINOP] = "EXPR_BINOP", in expression_type_name()
196 case EXPR_BINOP: in inspect_expression()
H A Dcheck_test_bit.c31 if (!arg || arg->type != EXPR_BINOP) in match_test_bit()
H A Dsmatch_function_ptrs.c65 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 Dcheck_logical_instead_of_bitwise.c27 if (expr->type != EXPR_BINOP) in is_bitshift()
H A Dsmatch_integer_overflow.c72 if (right->type != EXPR_BINOP || right->op != '/') in match_divide()
161 } else if (expr->type == EXPR_BINOP) { in can_integer_overflow()
H A Dcheck_shift_to_zero.c56 if (left->type != EXPR_BINOP || left->op != '&') in match_binop2()
H A Dcheck_kmalloc_wrong_size.c60 if (!arg || arg->type != EXPR_BINOP || arg->op != '*') in match_alloc()
H A Dcheck_memcpy_overflow.c100 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 Dsmatch_expressions.c88 if (expr->type == EXPR_BINOP) in deref_expression()
112 expr = alloc_tmp_expression(right->pos, EXPR_BINOP); in binop_expression()
H A Dsmatch_buf_size.c306 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 Dcheck_readl_infinite_loops.c69 if (expr->type == EXPR_BINOP) { in condition_depends_on_readl()

123