]> www.infradead.org Git - users/hch/misc.git/commit
bpf: correct use/def for may_goto instruction
authorEduard Zingerman <eddyz87@gmail.com>
Wed, 5 Mar 2025 08:54:36 +0000 (00:54 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Sat, 15 Mar 2025 18:48:30 +0000 (11:48 -0700)
commit871ef8d50e7c92b93ebd5d8ff11dc6dfb2fdce1d
treeb0ccb72244f73a44bb890054febaec7754a3ab0a
parentc1d95a0f2d0fdd87b70d333d45a79d8752a79f6e
bpf: correct use/def for may_goto instruction

may_goto instruction does not use any registers,
but in compute_insn_live_regs() it was treated as a regular
conditional jump of kind BPF_K with r0 as source register.
Thus unnecessarily marking r0 as used.

Fixes: 14c8552db644 ("bpf: simple DFA-based live registers analysis")
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20250305085436.2731464-1-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c
tools/testing/selftests/bpf/progs/compute_live_registers.c