Hello:
This patch was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <andrii@xxxxxxxxxx>:
On Thu, 9 Mar 2023 17:24:10 -0800 you wrote:
> With latest llvm17, selftest fexit_bpf2bpf/func_replace_return_code
> has the following verification failure:
>
> 0: R1=ctx(off=0,imm=0) R10=fp0
> ; int connect_v4_prog(struct bpf_sock_addr *ctx)
> 0: (bf) r7 = r1 ; R1=ctx(off=0,imm=0) R7_w=ctx(off=0,imm=0)
> 1: (b4) w6 = 0 ; R6_w=0
> ; memset(&tuple.ipv4.saddr, 0, sizeof(tuple.ipv4.saddr));
> ...
> ; return do_bind(ctx) ? 1 : 0;
> 179: (bf) r1 = r7 ; R1=ctx(off=0,imm=0) R7=ctx(off=0,imm=0)
> 180: (85) call pc+147
> Func#3 is global and valid. Skipping.
> 181: R0_w=scalar()
> 181: (bc) w6 = w0 ; R0_w=scalar() R6_w=scalar(umax=4294967295,var_off=(0x0; 0xffffffff))
> 182: (05) goto pc-129
> ; }
> 54: (bc) w0 = w6 ; R0_w=scalar(umax=4294967295,var_off=(0x0; 0xffffffff)) R6_w=scalar(umax=4294967295,var_off=(0x0; 0xffffffff))
> 55: (95) exit
> At program exit the register R0 has value (0x0; 0xffffffff) should have been in (0x0; 0x1)
> processed 281 insns (limit 1000000) max_states_per_insn 1 total_states 26 peak_states 26 mark_read 13
> -- END PROG LOAD LOG --
> libbpf: prog 'connect_v4_prog': failed to load: -22
>
> [...]
Here is the summary with links:
- [bpf-next] selftests/bpf: Workaround verification failure for fexit_bpf2bpf/func_replace_return_code
https://git.kernel.org/bpf/bpf-next/c/63d78b7e8ca2
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
