Home
last modified time | relevance | path

Searched refs:return_implies_state (Results 1 – 9 of 9) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_unwind.c192 return_implies_state("request_resource", 0, 0, &request_granted, INT_PTR(1)); in check_unwind()
198 return_implies_state("__request_region", 0, 0, &request_denied, INT_PTR(1)); in check_unwind()
203 return_implies_state("ioremap", 0, 0, &request_denied, INT_PTR(-1)); in check_unwind()
207 return_implies_state("pci_iomap", 0, 0, &request_denied, INT_PTR(-1)); in check_unwind()
213 return_implies_state("__create_workqueue_key", 0, 0, &request_denied, INT_PTR(-1)); in check_unwind()
216 return_implies_state("request_irq", 0, 0, &request_granted, INT_PTR(0)); in check_unwind()
217 return_implies_state("request_irq", -MAX_ERRNO, -1, &request_denied, INT_PTR(0)); in check_unwind()
221 return_implies_state("register_netdev", 0, 0, &request_granted, INT_PTR(0)); in check_unwind()
222 return_implies_state("register_netdev", -MAX_ERRNO, -1, &request_denied, INT_PTR(0)); in check_unwind()
226 return_implies_state("misc_register", 0, 0, &request_granted, INT_PTR(0)); in check_unwind()
[all …]
H A Dcheck_err_ptr_deref.c220 return_implies_state("IS_ERR", 0, 0, &match_checked, NULL); in check_err_ptr_deref()
221 return_implies_state("IS_ERR", 1, 1, &match_err, NULL); in check_err_ptr_deref()
222 return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_checked, NULL); in check_err_ptr_deref()
223 return_implies_state("IS_ERR_OR_NULL", 1, 1, &match_err, NULL); in check_err_ptr_deref()
224 return_implies_state("PTR_RET", 0, 0, &match_checked, NULL); in check_err_ptr_deref()
225 return_implies_state("PTR_RET", -4095, -1, &match_err, NULL); in check_err_ptr_deref()
H A Dcheck_platform_device_put.c67 return_implies_state("platform_device_add", 0, 0, &match_added, NULL); in check_platform_device_put()
68 return_implies_state("platform_device_add", -MAX_ERRNO, -1, &match_not_added, NULL); in check_platform_device_put()
H A Dcheck_kernel.c462 return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_param_valid_ptr, (void *)0); in check_kernel()
463 return_implies_state("IS_ERR_OR_NULL", 1, 1, &match_param_err_or_null, (void *)0); in check_kernel()
464 return_implies_state("IS_ERR", 0, 0, &match_not_err, NULL); in check_kernel()
465 return_implies_state("IS_ERR", 1, 1, &match_err, NULL); in check_kernel()
466 return_implies_state("tomoyo_memory_ok", 1, 1, &match_param_valid_ptr, (void *)0); in check_kernel()
H A Dcheck_atomic_inc_dec.c461 return_implies_state("refcount_add_not_zero", 1, 1, &match_implies_inc, INT_PTR(1)); in check_atomic_inc_dec()
462 return_implies_state("refcount_inc_not_zero", 1, 1, &match_implies_inc, INT_PTR(0)); in check_atomic_inc_dec()
464 return_implies_state("atomic_dec_if_positive", 0, INT_MAX, &match_implies_atomic_dec, INT_PTR(0)); in check_atomic_inc_dec()
H A Dcheck_held_dev.c118 return_implies_state(func, 0, 0, &match_returns_null, in register_returns_held_funcs()
H A Dcheck_locking.c1084 return_implies_state(lock->function, 1, 1, &match_lock_held, idx); in register_lock()
1085 return_implies_state(lock->function, 0, 0, &match_lock_failed, idx); in register_lock()
1091 return_implies_state(lock->function, 0, 0, &match_lock_held, idx); in register_lock()
1092 return_implies_state(lock->function, -4095, -1, &match_lock_failed, idx); in register_lock()
1292 return_implies_state("dma_resv_lock", -4095, -1, &match_dma_resv_lock_NULL, 0); in check_locking()
H A Dsmatch_function_hooks.c132 void return_implies_state(const char *look_for, long long start, long long end, in return_implies_state() function
H A Dsmatch.h190 void return_implies_state(const char *look_for, long long start, long long end,