Print this page
11506 smatch resync
*** 220,230 ****
return_implies_state("IS_ERR", 0, 0, &match_checked, NULL);
return_implies_state("IS_ERR", 1, 1, &match_err, NULL);
return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_checked, NULL);
return_implies_state("IS_ERR_OR_NULL", 1, 1, &match_err, NULL);
return_implies_state("PTR_RET", 0, 0, &match_checked, NULL);
! return_implies_state("PTR_RET", -4096, -1, &match_err, NULL);
register_err_ptr_funcs();
add_hook(&match_dereferences, DEREF_HOOK);
add_function_hook("ERR_PTR", &match_err_ptr_positive_const, NULL);
add_function_hook("ERR_PTR", &match_err_ptr, NULL);
add_hook(&match_condition, CONDITION_HOOK);
--- 220,230 ----
return_implies_state("IS_ERR", 0, 0, &match_checked, NULL);
return_implies_state("IS_ERR", 1, 1, &match_err, NULL);
return_implies_state("IS_ERR_OR_NULL", 0, 0, &match_checked, NULL);
return_implies_state("IS_ERR_OR_NULL", 1, 1, &match_err, NULL);
return_implies_state("PTR_RET", 0, 0, &match_checked, NULL);
! return_implies_state("PTR_RET", -4095, -1, &match_err, NULL);
register_err_ptr_funcs();
add_hook(&match_dereferences, DEREF_HOOK);
add_function_hook("ERR_PTR", &match_err_ptr_positive_const, NULL);
add_function_hook("ERR_PTR", &match_err_ptr, NULL);
add_hook(&match_condition, CONDITION_HOOK);