| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_type_val.c | 193 if (!expr || expr->type != EXPR_ASSIGNMENT) in is_ignored_fake_assignment()
221 if (!expr || expr->type != EXPR_ASSIGNMENT) in is_container_of()
239 if (!expr || expr->type != EXPR_ASSIGNMENT) in is_driver_data()
269 if (!expr || expr->type != EXPR_ASSIGNMENT || expr->op != '=') in is_ignored_macro()
308 if (!expr || expr->type != EXPR_ASSIGNMENT) in is_ignored_function()
358 if (expr->type != EXPR_ASSIGNMENT) in is_uncasted_pointer_assign()
435 if (!expr || expr->type != EXPR_ASSIGNMENT) in is_uncasted_fn_param_from_db()
601 while (expr->type == EXPR_ASSIGNMENT) in db_param_add()
|
| H A D | check_implicit_dependencies_tester.c | 15 [EXPR_ASSIGNMENT] = "EXPR_ASSIGNMENT", in expression_type_name()
139 || expr->type == EXPR_ASSIGNMENT in match_condition()
|
| H A D | check_err_ptr_deref.c | 107 while (arg->type == EXPR_ASSIGNMENT) in match_checked()
119 while (arg->type == EXPR_ASSIGNMENT) in match_err()
142 if (expr->type == EXPR_ASSIGNMENT) { in match_condition()
|
| H A D | check_spectre.c | 49 if (parent->type == EXPR_ASSIGNMENT) { in is_read()
73 if (tmp->type == EXPR_ASSIGNMENT || tmp->type == EXPR_CALL) in is_harmless()
|
| H A D | smatch_struct_assignment.c | 154 while (right && right->type == EXPR_ASSIGNMENT) in handle_non_struct_assignments()
389 if (expr->type != EXPR_ASSIGNMENT || expr->op != '=') in returns_container_of()
459 if (!expr || expr->type != EXPR_ASSIGNMENT) in match_memdup()
541 while (expr->type == EXPR_ASSIGNMENT) in db_param_cleared()
|
| H A D | check_leaks.c | 147 case EXPR_ASSIGNMENT: in match_condition()
219 while (right->type == EXPR_ASSIGNMENT) in match_assign()
|
| H A D | check_no_effect.c | 39 case EXPR_ASSIGNMENT: in match_stmt()
|
| H A D | ast-inspect.c | 159 [EXPR_ASSIGNMENT] = "EXPR_ASSIGNMENT", in expression_type_name()
200 case EXPR_ASSIGNMENT: in inspect_expression()
|
| H A D | check_allocating_enough_data.c | 28 if (expr->type != EXPR_ASSIGNMENT) in db_returns_buf_size()
|
| H A D | check_assign_vs_compare.c | 53 if (expr->type != EXPR_ASSIGNMENT || expr->op != '=') in match_condition()
|
| H A D | check_nospec.c | 152 while (call->type == EXPR_ASSIGNMENT) in db_returns_nospec()
157 if (param == -1 && expr->type == EXPR_ASSIGNMENT) { in db_returns_nospec()
|
| H A D | check_wine_filehandles.c | 69 if (expr->type == EXPR_ASSIGNMENT) in match_condition()
|
| H A D | check_bogus_loop.c | 41 if (expr->type != EXPR_ASSIGNMENT) in get_iterator_set()
|
| H A D | smatch_impossible.c | 39 while (left && left->type == EXPR_ASSIGNMENT) in handle_compare()
|
| H A D | check_passes_sizeof.c | 33 if (stmt->expression->type != EXPR_ASSIGNMENT) in get_returned_expr()
|
| H A D | smatch_mtag.c | 99 if (expr->type != EXPR_ASSIGNMENT) in get_allocator_info()
135 if (!expr || expr->type != EXPR_ASSIGNMENT || expr->op != '=') in get_mtag_return()
|
| H A D | smatch_kernel_user_data.c | 719 while (left->type == EXPR_ASSIGNMENT) in handle_compare()
1117 while (expr->type == EXPR_ASSIGNMENT) in db_param_set()
1286 while (call->type == EXPR_ASSIGNMENT) in returns_param_user_data()
1295 if (expr->type != EXPR_ASSIGNMENT) { in returns_param_user_data()
1316 if (expr->type != EXPR_ASSIGNMENT) { in returns_param_user_data_set()
1329 while (expr->type == EXPR_ASSIGNMENT) in returns_param_user_data_set()
|
| H A D | check_check_deref.c | 148 if (expr->type == EXPR_ASSIGNMENT) { in match_condition()
|
| H A D | check_frees_param_strict.c | 95 while (expr->type == EXPR_ASSIGNMENT) in set_param_freed()
|
| H A D | smatch_assigned_expr.c | 110 while (expr->type == EXPR_ASSIGNMENT) in record_param_assignment()
|
| H A D | smatch_function_hooks.c | 396 if (expr->type != EXPR_ASSIGNMENT || expr->op != '=') in fake_a_param_assignment()
401 while (right->type == EXPR_ASSIGNMENT) in fake_a_param_assignment()
555 while (expr->type == EXPR_ASSIGNMENT) in impossible_limit()
622 while (expr->type == EXPR_ASSIGNMENT) in func_type_mismatch()
886 while (expr->type == EXPR_ASSIGNMENT) in call_ranged_return_hooks()
|
| H A D | smatch_implied.c | 692 if (expr->type == EXPR_ASSIGNMENT) in get_left_most_expr()
791 if (expr->type == EXPR_ASSIGNMENT) { in handle_zero_comparison()
1029 while (expr->type == EXPR_ASSIGNMENT) in param_limit_implications()
1039 while (arg->type == EXPR_ASSIGNMENT && arg->op == '=') in param_limit_implications()
1062 if (orig_expr->type == EXPR_ASSIGNMENT) in param_limit_implications()
|
| H A D | smatch_comparison.c | 801 if (!expr || expr->type != EXPR_ASSIGNMENT) in match_add_sub_assign()
839 if (!expr || expr->type != EXPR_ASSIGNMENT || expr->op != '=') in is_self_assign()
854 if (mod_expr && mod_expr->type == EXPR_ASSIGNMENT && in match_modify()
1279 while (left_expr->type == EXPR_ASSIGNMENT) in handle_comparison()
1281 while (right_expr->type == EXPR_ASSIGNMENT) in handle_comparison()
2466 if (expr->type != EXPR_ASSIGNMENT) in db_return_comparison()
2470 while (expr->type == EXPR_ASSIGNMENT) in db_return_comparison()
2475 while (expr->type == EXPR_ASSIGNMENT) in db_return_comparison()
2523 while (expr->type == EXPR_ASSIGNMENT) in param_compare_limit_is_impossible()
|
| H A D | smatch_fresh_alloc.c | 187 if (expr->type != EXPR_ASSIGNMENT) in returns_fresh_alloc()
|
| H A D | check_zero_to_err_ptr.c | 55 if (tmp && tmp->type == EXPR_ASSIGNMENT) { in next_line_checks_IS_ERR()
|