Wrong assume for ERR_PTR and PTR_ERR
Require to provide consistency of ldv_is_err with assumptions at ldv_err_ptr and ldv_ptr_err.
Updated by Evgeny Novikov 6 months ago
I merged the master to the given branch, performed simple tests and started large tests. Let's wait for results.
I was wondering because I did not find the branch first. It turned out that you pushed it directly to Forge rather than to our development repository from which CI pushes everything to Forge. So, in future, please, do not push anything to Forge.