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);