On Thu, Aug 12, 2021 at 08:00:33PM +0300, Ovidiu Panait wrote: > NOTE: the fixes were manually adjusted to apply to 4.19, so copying bpf@ to see > if there are any concerns. > > With this patchseries all bpf verifier selftests pass: > root@intel-x86-64:~# ./test_verifier > ... > #657/u pass modified ctx pointer to helper, 2 OK > #657/p pass modified ctx pointer to helper, 2 OK > #658/p pass modified ctx pointer to helper, 3 OK > #659/p mov64 src == dst OK > #660/p mov64 src != dst OK > #661/u calls: ctx read at start of subprog OK > #661/p calls: ctx read at start of subprog OK > Summary: 925 PASSED, 0 SKIPPED, 0 FAILED > > Daniel Borkmann (4): > bpf: Inherit expanded/patched seen count from old aux data > bpf: Do not mark insn as seen under speculative path verification > bpf: Fix leakage under speculation on mispredicted branches > bpf, selftests: Adjust few selftest outcomes wrt unreachable code All now queued up, thanks! greg k-h
