/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_leaks.c | 144 if (sm && slist_has_state(sm->possible, &allocated)) in match_condition() 202 if (!slist_has_state(sm->possible, &allocated)) in warn_if_allocated() 233 if (!slist_has_state(tmp->possible, &allocated)) in check_for_allocated()
|
H A D | check_held_dev.c | 73 if (slist_has_state(tmp->possible, &held)) { in check_for_held() 89 if (slist_has_state(sm->possible, &held)) in print_returns_held()
|
H A D | check_get_user_overflow.c | 129 if (sm && slist_has_state(sm->possible, &user_data)) { in check_expr() 136 if (sm && slist_has_state(sm->possible, &user_data)) { in check_expr()
|
H A D | check_input_free_device.c | 56 if (!slist_has_state(sm->possible, &no_free)) in match_input_free()
|
H A D | check_platform_device_put.c | 56 if (!slist_has_state(sm->possible, ¬_added)) in match_platform_device_del()
|
H A D | check_err_ptr_deref.c | 54 if (!slist_has_state(sm->possible, &err_ptr)) in check_is_err_ptr() 86 if (!slist_has_state(sm->possible, &err_ptr)) in set_param_dereferenced()
|
H A D | check_dma_mapping_error.c | 61 if (!slist_has_state(sm->possible, &positive)) in match_return()
|
H A D | check_frees_param.c | 47 if (sm && slist_has_state(sm->possible, &ignore)) in freed_variable()
|
H A D | check_kunmap.c | 60 if (slist_has_state(sm->possible, &no_unmap)) in match_kunmap_atomic()
|
H A D | check_free_strict.c | 67 if (sm && slist_has_state(sm->possible, &freed)) in is_freed() 261 if (sm && slist_has_state(sm->possible, &freed)) { in set_param_freed()
|
H A D | check_info_leak.c | 76 if (!sm || !slist_has_state(sm->possible, &string)) in match_copy_to_user()
|
H A D | check_uninitialized.c | 143 if (!slist_has_state(sm->possible, &uninitialized)) in is_initialized() 261 if (!slist_has_state(sm->possible, &uninitialized)) in match_call_struct_members()
|
H A D | check_return_efault.c | 70 if (!slist_has_state(sm->possible, &remaining)) in match_return_var()
|
H A D | check_dereferences_param.c | 72 if (sm && slist_has_state(sm->possible, &ignore)) in check_deref()
|
H A D | check_dev_queue_xmit.c | 66 if (!sm || !slist_has_state(sm->possible, &do_not_use)) in match_symbol()
|
H A D | smatch_fresh_alloc.c | 144 if (!slist_has_state(sm->possible, &fresh)) in set_unfresh()
|
H A D | smatch_slist.h | 35 int slist_has_state(struct state_list *slist, struct smatch_state *state);
|
H A D | check_atomic_inc_dec.c | 266 if (slist_has_state(sm->possible, &dec) && in is_maybe_dec() 267 !slist_has_state(sm->possible, &inc)) in is_maybe_dec()
|
H A D | check_double_checking.c | 254 if (slist_has_state(sm->possible, &modified)) in after_loop()
|
H A D | check_unwind.c | 151 if (slist_has_state(tmp->possible, &allocated)) in match_return()
|
H A D | check_free.c | 50 if (sm && slist_has_state(sm->possible, &freed)) in is_freed()
|
H A D | smatch_untracked_param.c | 233 if (slist_has_state(sm->possible, &lost)) in print_untracked_params()
|
H A D | check_rosenberg.c | 186 if (sm && !slist_has_state(sm->possible, &undefined)) in member_uninitialized()
|
H A D | smatch_slist.c | 409 int slist_has_state(struct state_list *slist, struct smatch_state *state) in slist_has_state() function
|
H A D | check_kernel_printf.c | 935 if (slist_has_state(slist, &undefined)) in unknown_format()
|