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>