Re: [PATCH bpf-next] selftests/bpf: Workaround verification failure for fexit_bpf2bpf/func_replace_return_code

[patchwork-bot+netdevbpf@kernel.org]

Hello:

This patch was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <andrii@kernel.org>:

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