This is the start of the stable review cycle for the 5.4.116 release. There are 8 patches in this series, all will be posted as a response to this one. If anyone has any issues with these being applied, please let me know. Responses should be made by Sun, 02 May 2021 14:19:04 +0000. Anything received after that time might be too late. The whole patch series can be found in one patch at: https://www.kernel.org/pub/linux/kernel/v5.x/stable-review/patch-5.4.116-rc1.gz or in the git tree and branch at: git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable-rc.git linux-5.4.y and the diffstat can be found below. thanks, greg k-h ------------- Pseudo-Shortlog of commits: Greg Kroah-Hartman <gregkh@xxxxxxxxxxxxxxxxxxx> Linux 5.4.116-rc1 Daniel Borkmann <daniel@xxxxxxxxxxxxx> bpf: Update selftests to reflect new error states Daniel Borkmann <daniel@xxxxxxxxxxxxx> bpf: Tighten speculative pointer arithmetic mask Daniel Borkmann <daniel@xxxxxxxxxxxxx> bpf: Move sanitize_val_alu out of op switch Daniel Borkmann <daniel@xxxxxxxxxxxxx> bpf: Refactor and streamline bounds check into helper Daniel Borkmann <daniel@xxxxxxxxxxxxx> bpf: Improve verifier error messages for users Daniel Borkmann <daniel@xxxxxxxxxxxxx> bpf: Rework ptr_limit into alu_limit and add common error path Daniel Borkmann <daniel@xxxxxxxxxxxxx> bpf: Ensure off_reg has no mixed signed bounds for all types Daniel Borkmann <daniel@xxxxxxxxxxxxx> bpf: Move off_reg into sanitize_ptr_alu ------------- Diffstat: Makefile | 4 +- kernel/bpf/verifier.c | 233 ++++++++++++++------- .../selftests/bpf/verifier/bounds_deduction.c | 21 +- .../bpf/verifier/bounds_mix_sign_unsign.c | 13 -- tools/testing/selftests/bpf/verifier/unpriv.c | 2 +- .../selftests/bpf/verifier/value_ptr_arith.c | 6 +- 6 files changed, 175 insertions(+), 104 deletions(-)