/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_platform_device_put.c | 29 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 D | check_kernel.c | 80 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 D | check_unwind.c | 72 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 D | check_err_ptr_deref.c | 100 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 D | smatch_function_hooks.c | 211 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 D | check_held_dev.c | 52 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 D | check_atomic_inc_dec.c | 250 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 D | check_locking.c | 747 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 D | smatch_untracked_param.c | 83 static void assume_tracked(struct expression *call_expr, int param, char *key, char *value) in assume_tracked() argument
|
H A D | smatch.h | 174 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 D | smatch_struct_assignment.c | 454 static void match_memdup(const char *fn, struct expression *call_expr, in match_memdup() argument
|
H A D | smatch_db.c | 707 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()
|