diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2026-02-13 00:34:23 +0300 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-02-14 01:41:23 +0300 |
| commit | 6363fc17c9f5952ce40c2fe779892511e371a359 (patch) | |
| tree | 8dc6bcae09c0010a28b6008961b8d9f2bfadefb3 /include/linux/workqueue.h | |
| parent | 022ac075088366b62e130da5e1b200bc93a47191 (diff) | |
| download | linux-6363fc17c9f5952ce40c2fe779892511e371a359.tar.xz | |
nfp: bpf: remove references to bpf_reg_state->off for pointers
Previous commit changed BPF verifier to track pointer offsets entirely
in bpf_reg_state->var_off. This commit removes references to
bpf_reg_state->off in netronome code.
- In most of the places `.off` field is used as a part of a sum:
`reg->off + reg->var_off.value`. In such code the `reg->off` addend
is removed.
- Function jit.c:cross_mem_access() uses `.off` but ignores `.var_off`
to compute memory access offset. Here access to `.off` is replaced
with access to `.var_off.value`. verifier.c:nfp_bpf_check_ptr()
rejects programs for which !tnum_is_const(reg->var_off),
so the above change will read a valid constant.
Not sure why `.var_off` was ignored in this function previously.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20260212-ptrs-off-migration-v2-3-00820e4d3438@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'include/linux/workqueue.h')
0 files changed, 0 insertions, 0 deletions
