/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_release_resource.c | 32 struct expression *arg_expr; in match_request() local 37 arg_expr = get_argument_from_call_expr(expr->args, arg_no); in match_request() 38 arg_expr = strip_expr(arg_expr); in match_request() 40 name = expr_to_var_sym(arg_expr, &sym); in match_request() 50 struct expression *arg_expr; in match_release() local 55 arg_expr = get_argument_from_call_expr(expr->args, arg_no); in match_release() 56 arg_expr = strip_expr(arg_expr); in match_release() 61 name = expr_to_var_sym(arg_expr, &sym); in match_release()
|
H A D | check_unwind.c | 59 struct expression *arg_expr; in print_unwind_functions() local 63 arg_expr = get_argument_from_call_expr(expr->args, arg_no); in print_unwind_functions() 64 if (!was_passed_as_param(arg_expr)) in print_unwind_functions() 75 struct expression *arg_expr; in request_granted() local 81 arg_expr = assign_expr->left; in request_granted() 83 arg_expr = get_argument_from_call_expr(call_expr->args, arg_no); in request_granted() 85 set_state_expr(my_id, arg_expr, &allocated); in request_granted() 91 struct expression *arg_expr; in request_denied() local 97 arg_expr = assign_expr->left; in request_denied() 99 arg_expr = get_argument_from_call_expr(call_expr->args, arg_no); in request_denied() [all …]
|
H A D | check_platform_device_put.c | 32 struct expression *arg_expr; in match_added() local 34 arg_expr = get_argument_from_call_expr(call_expr->args, 0); in match_added() 35 set_state_expr(my_id, arg_expr, &added); in match_added() 41 struct expression *arg_expr; in match_not_added() local 43 arg_expr = get_argument_from_call_expr(call_expr->args, 0); in match_not_added() 44 set_state_expr(my_id, arg_expr, ¬_added); in match_not_added() 49 struct expression *arg_expr; in match_platform_device_del() local 52 arg_expr = get_argument_from_call_expr(expr->args, 0); in match_platform_device_del() 53 sm = get_sm_state_expr(my_id, arg_expr); in match_platform_device_del()
|
H A D | check_resource_size.c | 61 struct expression *arg_expr; in match_resource() local 64 arg_expr = get_argument_from_call_expr(expr->args, arg_no); in match_resource() 65 arg_expr = strip_expr(arg_expr); in match_resource() 66 if (!arg_expr) in match_resource() 69 if (arg_expr->type == EXPR_SYMBOL) { in match_resource() 70 handle_assigned_expr(arg_expr); in match_resource() 73 verify_size_expr(arg_expr); in match_resource()
|
H A D | check_memset.c | 46 struct expression *arg_expr; in match_memset() local 48 arg_expr = get_argument_from_call_expr(expr->args, 2); in match_memset() 49 if (!arg_expr) in match_memset() 51 check_size_not_zero(arg_expr); in match_memset() 52 check_size_not_ARRAY_SIZE(arg_expr); in match_memset()
|
H A D | check_proc_create.c | 34 struct expression *arg_expr; in match_create() local 39 arg_expr = get_argument_from_call_expr(expr->args, param_index[idx].mode_param); in match_create() 40 if (!get_implied_value(arg_expr, &sval)) in match_create() 44 arg_expr = get_argument_from_call_expr(expr->args, param_index[idx].name_param); in match_create() 45 name = expr_to_var(arg_expr); in match_create()
|
H A D | check_held_dev.c | 38 struct expression *arg_expr; in match_dev_hold() local 40 arg_expr = get_argument_from_call_expr(expr->args, 0); in match_dev_hold() 41 set_state_expr(my_id, arg_expr, &held); in match_dev_hold() 46 struct expression *arg_expr; in match_dev_put() local 48 arg_expr = get_argument_from_call_expr(expr->args, 0); in match_dev_put() 49 set_state_expr(my_id, arg_expr, &released); in match_dev_put()
|
H A D | check_freeing_null.c | 24 struct expression *arg_expr; in match_free() local 28 arg_expr = get_argument_from_call_expr(expr->args, 0); in match_free() 29 if (!get_implied_value(arg_expr, &sval)) in match_free() 33 name = expr_to_var(arg_expr); in match_free()
|
H A D | check_type.c | 35 struct expression *arg_expr; in match_free() local 39 arg_expr = get_argument_from_call_expr(expr->args, 0); in match_free() 40 type = get_pointer_type(arg_expr); in match_free() 44 name = expr_to_str(arg_expr); in match_free()
|
H A D | check_freeing_devm.c | 31 struct expression *arg_expr; in match_free_func() local 35 arg_expr = get_argument_from_call_expr(expr->args, arg); in match_free_func() 36 if (!get_state_expr(my_id, arg_expr)) in match_free_func() 38 name = expr_to_str(arg_expr); in match_free_func()
|
H A D | check_bit_shift.c | 136 struct expression *arg_expr; in match_call() local 141 arg_expr = get_argument_from_call_expr(expr->args, arg_no); in match_call() 142 if (positions_eq(expr->pos, arg_expr->pos)) in match_call() 144 name = pos_ident(arg_expr->pos); in match_call() 147 if (!get_value(arg_expr, &sval)) in match_call()
|
H A D | check_bogus_irqrestore.c | 24 struct expression *arg_expr; in match_irqrestore() local 27 arg_expr = get_argument_from_call_expr(expr->args, 1); in match_irqrestore() 28 if (!get_implied_value(arg_expr, &tmp)) in match_irqrestore()
|
H A D | check_zero_to_err_ptr.c | 124 struct expression *arg_expr; in match_err_ptr() local 130 arg_expr = get_argument_from_call_expr(expr->args, 0); in match_err_ptr() 131 sm = get_sm_state_expr(SMATCH_EXTRA, arg_expr); in match_err_ptr() 138 if (next_line_checks_IS_ERR(expr, arg_expr)) in match_err_ptr() 141 next_line_is_if(arg_expr)) in match_err_ptr()
|
H A D | check_gfp_dma.c | 32 struct expression *arg_expr; in match_alloc() local 35 arg_expr = get_argument_from_call_expr(expr->args, arg_nr); in match_alloc() 36 if (!get_value(arg_expr, &sval)) in match_alloc()
|
H A D | check_debug.c | 101 struct expression *arg_expr; in match_print_value() local 103 arg_expr = get_argument_from_call_expr(expr->args, 0); in match_print_value() 104 if (arg_expr->type != EXPR_STRING) { in match_print_value() 111 if (!strcmp(tmp->name, arg_expr->string->data)) in match_print_value() 356 struct expression *arg_expr; in match_possible() local 358 arg_expr = get_argument_from_call_expr(expr->args, 0); in match_possible() 359 if (arg_expr->type != EXPR_STRING) { in match_possible() 366 if (!strcmp(tmp->name, arg_expr->string->data)) in match_possible() 420 struct expression *arg_expr; in match_note() local 422 arg_expr = get_argument_from_call_expr(expr->args, 0); in match_note() [all …]
|