Home
last modified time | relevance | path

Searched refs:arg_expr (Results 1 – 15 of 15) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_release_resource.c32 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 Dcheck_unwind.c59 struct expression *arg_expr; in print_unwind_functions() local
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()
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()
101 set_state_expr(my_id, arg_expr, &unallocated); in request_denied()
106 struct expression *arg_expr; in match_release() local
110 if (get_state_expr(my_id, arg_expr)) in match_release()
[all …]
H A Dcheck_platform_device_put.c32 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, &not_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 Dcheck_resource_size.c61 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 Dcheck_memset.c46 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 Dcheck_proc_create.c34 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 Dcheck_held_dev.c38 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 Dcheck_freeing_null.c24 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 Dcheck_type.c35 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 Dcheck_freeing_devm.c31 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 Dcheck_bogus_irqrestore.c24 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 Dcheck_bit_shift.c136 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 Dcheck_zero_to_err_ptr.c124 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 Dcheck_gfp_dma.c32 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 Dcheck_debug.c101 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
423 if (arg_expr->type != EXPR_STRING) { in match_note()
[all …]