/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_unwind.c | 192 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 D | check_err_ptr_deref.c | 220 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 D | check_platform_device_put.c | 67 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 D | check_kernel.c | 462 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 D | check_atomic_inc_dec.c | 461 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 D | check_held_dev.c | 118 return_implies_state(func, 0, 0, &match_returns_null, in register_returns_held_funcs()
|
H A D | check_locking.c | 1084 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 D | smatch_function_hooks.c | 132 void return_implies_state(const char *look_for, long long start, long long end, in return_implies_state() function
|
H A D | smatch.h | 190 void return_implies_state(const char *look_for, long long start, long long end,
|