Home
last modified time | relevance | path

Searched refs:slist_has_state (Results 1 – 25 of 26) sorted by relevance

12

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_leaks.c144 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 Dcheck_held_dev.c73 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 Dcheck_get_user_overflow.c129 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 Dcheck_input_free_device.c56 if (!slist_has_state(sm->possible, &no_free)) in match_input_free()
H A Dcheck_platform_device_put.c56 if (!slist_has_state(sm->possible, &not_added)) in match_platform_device_del()
H A Dcheck_err_ptr_deref.c54 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 Dcheck_dma_mapping_error.c61 if (!slist_has_state(sm->possible, &positive)) in match_return()
H A Dcheck_frees_param.c47 if (sm && slist_has_state(sm->possible, &ignore)) in freed_variable()
H A Dcheck_kunmap.c60 if (slist_has_state(sm->possible, &no_unmap)) in match_kunmap_atomic()
H A Dcheck_free_strict.c67 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 Dcheck_info_leak.c76 if (!sm || !slist_has_state(sm->possible, &string)) in match_copy_to_user()
H A Dcheck_uninitialized.c143 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 Dcheck_return_efault.c70 if (!slist_has_state(sm->possible, &remaining)) in match_return_var()
H A Dcheck_dereferences_param.c72 if (sm && slist_has_state(sm->possible, &ignore)) in check_deref()
H A Dcheck_dev_queue_xmit.c66 if (!sm || !slist_has_state(sm->possible, &do_not_use)) in match_symbol()
H A Dsmatch_fresh_alloc.c144 if (!slist_has_state(sm->possible, &fresh)) in set_unfresh()
H A Dsmatch_slist.h35 int slist_has_state(struct state_list *slist, struct smatch_state *state);
H A Dcheck_atomic_inc_dec.c266 if (slist_has_state(sm->possible, &dec) && in is_maybe_dec()
267 !slist_has_state(sm->possible, &inc)) in is_maybe_dec()
H A Dcheck_double_checking.c254 if (slist_has_state(sm->possible, &modified)) in after_loop()
H A Dcheck_unwind.c151 if (slist_has_state(tmp->possible, &allocated)) in match_return()
H A Dcheck_free.c50 if (sm && slist_has_state(sm->possible, &freed)) in is_freed()
H A Dsmatch_untracked_param.c233 if (slist_has_state(sm->possible, &lost)) in print_untracked_params()
H A Dcheck_rosenberg.c186 if (sm && !slist_has_state(sm->possible, &undefined)) in member_uninitialized()
H A Dsmatch_slist.c409 int slist_has_state(struct state_list *slist, struct smatch_state *state) in slist_has_state() function
H A Dcheck_kernel_printf.c935 if (slist_has_state(slist, &undefined)) in unknown_format()

12