match_checked
return_implies_state("IS_ERR", 0, 0, &match_checked, NULL);
return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_checked, NULL);
return_implies_state("PTR_RET", 0, 0, &match_checked, NULL);