Home
last modified time | relevance | path

Searched refs:call_expr (Results 1 – 12 of 12) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_platform_device_put.c29 static void match_added(const char *fn, struct expression *call_expr, in match_added() argument
34 arg_expr = get_argument_from_call_expr(call_expr->args, 0); in match_added()
38 static void match_not_added(const char *fn, struct expression *call_expr, in match_not_added() argument
43 arg_expr = get_argument_from_call_expr(call_expr->args, 0); in match_not_added()
H A Dcheck_kernel.c80 static void match_param_valid_ptr(const char *fn, struct expression *call_expr, in match_param_valid_ptr() argument
89 arg = get_argument_from_call_expr(call_expr->args, param); in match_param_valid_ptr()
102 static void match_param_err_or_null(const char *fn, struct expression *call_expr, in match_param_err_or_null() argument
111 arg = get_argument_from_call_expr(call_expr->args, param); in match_param_err_or_null()
117 call_results_to_rl(call_expr, &ptr_ctype, "0,(-4095)-(-1)", &rl); in match_param_err_or_null()
124 static void match_not_err(const char *fn, struct expression *call_expr, in match_not_err() argument
131 arg = get_argument_from_call_expr(call_expr->args, 0); in match_not_err()
140 static void match_err(const char *fn, struct expression *call_expr, in match_err() argument
147 arg = get_argument_from_call_expr(call_expr->args, 0); in match_err()
H A Dcheck_unwind.c72 static void request_granted(const char *fn, struct expression *call_expr, in request_granted() argument
83 arg_expr = get_argument_from_call_expr(call_expr->args, arg_no); in request_granted()
88 static void request_denied(const char *fn, struct expression *call_expr, in request_denied() argument
99 arg_expr = get_argument_from_call_expr(call_expr->args, arg_no); in request_denied()
H A Dcheck_err_ptr_deref.c100 static void match_checked(const char *fn, struct expression *call_expr, in match_checked() argument
105 arg = get_argument_from_call_expr(call_expr->args, 0); in match_checked()
112 static void match_err(const char *fn, struct expression *call_expr, in match_err() argument
117 arg = get_argument_from_call_expr(call_expr->args, 0); in match_err()
H A Dsmatch_function_hooks.c211 const char *fn, struct expression *call_expr, in call_ranged_call_backs() argument
217 (tmp->u.ranged)(fn, call_expr, assign_expr, tmp->info); in call_ranged_call_backs()
745 struct expression *call_expr; in compare_db_return_states_callbacks() local
753 call_expr = left; in compare_db_return_states_callbacks()
757 call_expr = right; in compare_db_return_states_callbacks()
764 db_info.expr = call_expr; in compare_db_return_states_callbacks()
777 call_expr, db_compare_callback, &db_info); in compare_db_return_states_callbacks()
835 call_return_states_after_hooks(call_expr); in compare_db_return_states_callbacks()
848 struct expression *call_expr; in function_comparison() local
860 call_expr = left; in function_comparison()
[all …]
H A Dcheck_held_dev.c52 static void match_returns_held(const char *fn, struct expression *call_expr, in match_returns_held() argument
59 static void match_returns_null(const char *fn, struct expression *call_expr, in match_returns_null() argument
H A Dcheck_atomic_inc_dec.c250 static void match_implies_inc(const char *fn, struct expression *call_expr, in match_implies_inc() argument
253 db_inc_dec(call_expr, PTR_INT(param), "$->ref.counter", ATOMIC_INC); in match_implies_inc()
256 static void match_implies_atomic_dec(const char *fn, struct expression *call_expr, in match_implies_atomic_dec() argument
259 db_inc_dec(call_expr, PTR_INT(param), "$->counter", ATOMIC_DEC); in match_implies_atomic_dec()
H A Dcheck_locking.c747 static void match_lock_held(const char *fn, struct expression *call_expr, in match_lock_held() argument
762 lock_name = get_full_name(call_expr, index, &sym); in match_lock_held()
770 static void match_lock_failed(const char *fn, struct expression *call_expr, in match_lock_failed() argument
785 lock_name = get_full_name(call_expr, index, &sym); in match_lock_failed()
1227 static void match_dma_resv_lock_NULL(const char *fn, struct expression *call_expr, in match_dma_resv_lock_NULL() argument
1234 lock = get_argument_from_call_expr(call_expr->args, 0); in match_dma_resv_lock_NULL()
1235 ctx = get_argument_from_call_expr(call_expr->args, 1); in match_dma_resv_lock_NULL()
H A Dsmatch_untracked_param.c83 static void assume_tracked(struct expression *call_expr, int param, char *key, char *value) in assume_tracked() argument
H A Dsmatch.h174 typedef void (implication_hook)(const char *fn, struct expression *call_expr,
176 typedef void (return_implies_hook)(struct expression *call_expr,
178 typedef int (implied_return_hook)(struct expression *call_expr, void *info, struct range_list **rl);
H A Dsmatch_struct_assignment.c454 static void match_memdup(const char *fn, struct expression *call_expr, in match_memdup() argument
H A Dsmatch_db.c707 struct expression *call_expr = ret_info->static_returns_call; in db_return_callback() local
711 call_results_to_rl(call_expr, ret_info->return_type, argv[0], &rl); in db_return_callback()