usr/src/tools/smatch/src/check_atomic_inc_dec.c

266

if (slist_has_state(sm->possible, &dec) &&

usr/src/tools/smatch/src/check_atomic_inc_dec.c

267

!slist_has_state(sm->possible, &inc))

usr/src/tools/smatch/src/check_dereferences_param.c

72

if (sm && slist_has_state(sm->possible, &ignore))

usr/src/tools/smatch/src/check_dev_queue_xmit.c

66

if (!sm || !slist_has_state(sm->possible, &do_not_use))

usr/src/tools/smatch/src/check_dma_mapping_error.c

61

if (!slist_has_state(sm->possible, &positive))

usr/src/tools/smatch/src/check_double_checking.c

254

if (slist_has_state(sm->possible, &modified))

usr/src/tools/smatch/src/check_err_ptr_deref.c

54

if (!slist_has_state(sm->possible, &err_ptr))

usr/src/tools/smatch/src/check_err_ptr_deref.c

86

if (!slist_has_state(sm->possible, &err_ptr))

usr/src/tools/smatch/src/check_free.c

50

if (sm && slist_has_state(sm->possible, &freed))

usr/src/tools/smatch/src/check_free_strict.c

261

if (sm && slist_has_state(sm->possible, &freed)) {

usr/src/tools/smatch/src/check_free_strict.c

67

if (sm && slist_has_state(sm->possible, &freed))

usr/src/tools/smatch/src/check_frees_param.c

47

if (sm && slist_has_state(sm->possible, &ignore))

usr/src/tools/smatch/src/check_get_user_overflow.c

129

if (sm && slist_has_state(sm->possible, &user_data)) {

usr/src/tools/smatch/src/check_get_user_overflow.c

136

if (sm && slist_has_state(sm->possible, &user_data)) {

usr/src/tools/smatch/src/check_held_dev.c

73

if (slist_has_state(tmp->possible, &held)) {

usr/src/tools/smatch/src/check_held_dev.c

89

if (slist_has_state(sm->possible, &held))

usr/src/tools/smatch/src/check_info_leak.c

76

if (!sm || !slist_has_state(sm->possible, &string))

usr/src/tools/smatch/src/check_input_free_device.c

56

if (!slist_has_state(sm->possible, &no_free))

usr/src/tools/smatch/src/check_kernel_printf.c

935

if (slist_has_state(slist, &undefined))

usr/src/tools/smatch/src/check_kunmap.c

60

if (slist_has_state(sm->possible, &no_unmap))

usr/src/tools/smatch/src/check_leaks.c

144

if (sm && slist_has_state(sm->possible, &allocated))

usr/src/tools/smatch/src/check_leaks.c

202

if (!slist_has_state(sm->possible, &allocated))

usr/src/tools/smatch/src/check_leaks.c

233

if (!slist_has_state(tmp->possible, &allocated))

usr/src/tools/smatch/src/check_locking.c

1202

slist_has_state(sm->possible, &locked))

usr/src/tools/smatch/src/check_platform_device_put.c

56

if (!slist_has_state(sm->possible, &not_added))

usr/src/tools/smatch/src/check_return_efault.c

70

if (!slist_has_state(sm->possible, &remaining))

usr/src/tools/smatch/src/check_rosenberg.c

186

if (sm && !slist_has_state(sm->possible, &undefined))

usr/src/tools/smatch/src/check_uninitialized.c

143

if (!slist_has_state(sm->possible, &uninitialized))

usr/src/tools/smatch/src/check_uninitialized.c

261

if (!slist_has_state(sm->possible, &uninitialized))

usr/src/tools/smatch/src/check_unwind.c

151

if (slist_has_state(tmp->possible, &allocated))

usr/src/tools/smatch/src/smatch_fresh_alloc.c

144

if (!slist_has_state(sm->possible, &fresh))

usr/src/tools/smatch/src/smatch_slist.h

35

int slist_has_state(struct state_list *slist, struct smatch_state *state);

usr/src/tools/smatch/src/smatch_untracked_param.c

233

if (slist_has_state(sm->possible, &lost))