On Fri, 2026-07-10 at 13:52 +0800, sun jian wrote: [...]
> There is an observable effect on the target bpf base. I tested it with a > temporary raw_tp writable test_run reproducer, not part of the series. It > attaches a raw_tp writable program to bpf_test_finish and triggers it > through BPF_PROG_TEST_RUN. The program does: > > r6 = *(u64 *)(r1 + 0) > r6 += -8 > *(u64 *)(r6 + 0) = 0 > > With KASAN enabled and the BPF JIT disabled, on the bpf base without the > verifier fix, the program loads, attaches, executes, and KASAN reports: Could you please identify why the behaviour differs between bpf and bpf-next? [...]
