11506 smatch resync

@@ -220,11 +220,11 @@
         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);
+        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);