Symbol: match_checked
usr/src/tools/smatch/src/check_err_ptr_deref.c
220
return_implies_state("IS_ERR", 0, 0, &match_checked, NULL);
usr/src/tools/smatch/src/check_err_ptr_deref.c
222
return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_checked, NULL);
usr/src/tools/smatch/src/check_err_ptr_deref.c
224
return_implies_state("PTR_RET", 0, 0, &match_checked, NULL);