[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <1e5b7812-a544-40b8-98df-0e87b3f33eb5@gmail.com>
Date: Fri, 11 Jul 2025 10:29:22 -0700
From: Mohsin Bashir <mohsin.bashr@...il.com>
To: Jakub Kicinski <kuba@...nel.org>
Cc: netdev@...r.kernel.org, andrew+netdev@...n.ch, davem@...emloft.net,
edumazet@...gle.com, pabeni@...hat.com, shuah@...nel.org, horms@...nel.org,
cratiu@...dia.com, noren@...dia.com, cjubran@...dia.com, mbloch@...dia.com,
jdamato@...tly.com, gal@...dia.com, sdf@...ichev.me, ast@...nel.org,
daniel@...earbox.net, hawk@...nel.org, john.fastabend@...il.com,
bpf@...r.kernel.org, linux-kselftest@...r.kernel.org
Subject: Re: [PATCH net-next V2 0/5] selftests: drv-net: Test XDP native
support
> The program does not load in the CI :(
>
> 509: (15) if r1 == 0x0 goto pc+142 ; frame1: R1=scalar(smin=umin=umin32=1,smax=umax=0xffffffff,var_off=(0x0; 0xffffffff))
> 510: (25) if r1 > 0x100 goto pc+141 ; frame1: R1=scalar(smin=umin=smin32=umin32=1,smax=umax=smax32=umax32=256,var_off=(0x0; 0x1ff))
> 511: (bf) r3 = r10 ; frame1: R3_w=fp0 R10=fp0\n; if (bpf_xdp_load_bytes(ctx, 0, tmp_buff, hdr_len) < 0) @ xdp_native.bpf.c:377
> 512: (07) r3 += -256 ; frame1: R3_w=fp-256
> 513: (bf) r1 = r7 ; frame1: R1_w=ctx() R7=ctx()
> 514: (b7) r2 = 0 ; frame1: R2_w=0
> 515: (bf) r4 = r8 ; frame1: R4_w=scalar(id=3) R8=scalar(id=3)
> 516: (7b) *(u64 *)(r10 -280) = r5 ; frame1: R5=32 R10=fp0 fp-280_w=32
> 517: (85) call bpf_xdp_load_bytes#189
> R4 min value is negative, either use unsigned or 'var &= const'
> processed 262 insns (limit 1000000) max_states_per_insn 1 total_states 26 peak_states 26 mark_read 7
> -- END PROG LOAD LOG
>
> I suppose it may be due to compiler version:
> $ clang --version
> clang version 15.0.7 (AWS 15.0.7-3.amzn2023.0.4)
Perhaps
>
> LMK if you need more info / can't repro, but I think the suggestion
> makes sense?
Let me try to repro and fix at my end. Complain seems valid.
Powered by blists - more mailing lists