| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_return_to_param.c | 132 if (expr->type == EXPR_CALL) in map_call_to_param_name_sym()
200 if (call->type != EXPR_CALL) in __add_return_to_param_mapping()
207 if (expr->type == EXPR_CALL && in __add_return_to_param_mapping()
|
| H A D | smatch_struct_assignment.c | 104 if (right->type == EXPR_CALL) in get_right_base_expr()
314 if (expr->type != EXPR_CALL || expr->fn->type != EXPR_SYMBOL) in returns_zeroed_mem()
392 if (call->type != EXPR_CALL) in returns_container_of()
465 if (right->type != EXPR_CALL) in match_memdup()
543 if (expr->type != EXPR_CALL) in db_param_cleared()
|
| H A D | check_no_effect.c | 40 case EXPR_CALL: in match_stmt()
|
| H A D | smatch_function_ptrs.c | 42 if (expr->type != EXPR_CALL) in get_from__symbol_get()
161 if (expr->type != EXPR_CALL) in get_returned_ptr()
329 right->type != EXPR_CALL) in match_function_assign()
|
| H A D | check_return_negative_var.c | 46 if (expr->type != EXPR_CALL) in match_return()
|
| H A D | smatch_unknown_value.c | 49 .type = EXPR_CALL,
|
| H A D | check_kmalloc_to_bugon.c | 26 if (expr->type != EXPR_CALL) in is_kmalloc_call()
|
| H A D | check_return_enomem.c | 54 if (expr->type != EXPR_CALL || expr->fn->type != EXPR_SYMBOL) in match_return()
|
| H A D | check_all_func_returns.c | 37 if (expr->type != EXPR_CALL) { in check_func_return()
|
| H A D | check_err_ptr.c | 31 if (expr->type != EXPR_CALL) in match_err_ptr()
|
| H A D | smatch_kernel_user_data.c | 413 if (expr->type != EXPR_CALL || expr->fn->type != EXPR_SYMBOL || in is_points_to_user_data_fn()
428 if (expr->type != EXPR_CALL || expr->fn->type != EXPR_SYMBOL || in get_rl_from_function()
636 if (expr->right->type == EXPR_CALL || __in_fake_parameter_assign) in match_assign()
966 if (expr->type == EXPR_CALL && db_returned_user_rl(expr, &rl)) in var_user_rl()
1119 if (expr->type != EXPR_CALL) in db_param_set()
1288 if (call->type != EXPR_CALL) in returns_param_user_data()
1331 if (expr->type != EXPR_CALL) in returns_param_user_data_set()
|
| H A D | smatch_nul_terminator.c | 244 if (call->type != EXPR_CALL) in return_info_terminated()
293 if (left->type != EXPR_CALL) in match_strnlen_test()
|
| H A D | check_kunmap.c | 33 if (expr->type != EXPR_CALL) in check_assignment()
|
| H A D | smatch_strlen.c | 113 if (left->type == EXPR_CALL && sym_name_is("strlen", left->fn)) { in match_strlen_condition()
117 if (right->type == EXPR_CALL && sym_name_is("strlen", right->fn)) { in match_strlen_condition()
|
| H A D | smatch_data_source.c | 79 if (right->type != EXPR_CALL || right->fn->type != EXPR_SYMBOL) in get_source_assignment()
|
| H A D | check_implicit_dependencies_tester.c | 29 [EXPR_CALL] = "EXPR_CALL", in expression_type_name()
|
| H A D | check_return_efault.c | 89 if (!ret_value || ret_value->type != EXPR_CALL) in match_return_call()
|
| H A D | check_dev_queue_xmit.c | 51 if (tmp->type == EXPR_CALL && sym_name_is("kfree_skb", tmp->fn)) in valid_use()
|
| H A D | check_readl_infinite_loops.c | 38 if (expr->type != EXPR_CALL) in is_readl_call()
|
| H A D | smatch_function_hooks.c | 403 if (!right || right->type != EXPR_CALL) in fake_a_param_assignment()
557 if (expr->type != EXPR_CALL) in impossible_limit()
755 if (left->type != EXPR_CALL) { in compare_db_return_states_callbacks()
862 if (left->type != EXPR_CALL) { in function_comparison()
888 if (expr->type != EXPR_CALL || in call_ranged_return_hooks()
|
| H A D | check_frees_param_strict.c | 97 if (expr->type != EXPR_CALL) in set_param_freed()
|
| H A D | smatch_assigned_expr.c | 112 if (!expr || expr->type != EXPR_CALL) in record_param_assignment()
|
| H A D | check_atomic_inc_dec.c | 107 if (expr->type != EXPR_CALL) in db_inc_dec()
178 if (expr->type != EXPR_CALL) in is_inc_dec_primitive()
|
| H A D | smatch_constraints_required.c | 288 if (expr->right->type == EXPR_CALL) in match_assign_has_buf_comparison()
314 if (right->type != EXPR_CALL) in match_assign_data()
|
| H A D | smatch_fresh_alloc.c | 118 if (expr->type != EXPR_CALL) in is_fresh_alloc()
|