vmware-archive/p4c-xdp

kernel 4.10.1 bpf verifier

williamtu opened this issue · 1 comments

kernel image 4.10.1 should have our BPF patches, however installing it in my vagrant box
http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.10.1/
still fails as below:

 R0=inv56 R1=pkt(id=0,off=0,r=34) R2=pkt_end R3=imm272,min_value=272,max_value=272 R4=inv R5=inv56 R6=ctx R7=inv56,min_value=0,max_value=255 R8=imm0,min_value=0,max_value=0 R9=inv R10=fp
441: (bf) r5 = r3
442: (07) r5 += 32
443: (18) r4 = 0xfffffff8
445: (5f) r5 &= r4
446: (77) r5 >>= 3
447: (bf) r0 = r1
448: (0f) r0 += r5
cannot add integer value with 3 upper zero bits to ptr_to_packet

it either ubuntu's mistake or mine, the official Linux kernel 4.10.1 does not have our verifier patch.