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.
