Symbol: set_param_dereferenced
usr/src/tools/smatch/src/check_check_deref.c
169
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
usr/src/tools/smatch/src/check_deref.c
289
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
usr/src/tools/smatch/src/check_deref_check.c
95
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
usr/src/tools/smatch/src/check_dereferences_param.c
126
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
usr/src/tools/smatch/src/check_err_ptr_deref.c
239
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
usr/src/tools/smatch/src/smatch_extra.c
2943
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);