Andrii Nakryiko (3):
bpf: support non-r10 register spill/fill to/from stack in precision
tracking
selftests/bpf: add stack access precision test
bpf: handle fake register spill to stack with BPF_ST_MEM instruction
Pu Lehui (1):
bpf: Fix kabi breakage in struct bpf_verifier_state and
bpf_verifier_env
include/linux/bpf_verifier.h | 35 +++-
kernel/bpf/verifier.c | 174 ++++++++++--------
.../bpf/progs/verifier_subprog_precision.c | 87 ++++++++-
.../testing/selftests/bpf/verifier/precise.c | 38 ++--
4 files changed, 232 insertions(+), 102 deletions(-)
--
2.34.1