#828/p reference tracking: alloc, check, free in both subbranches , verifier log:
func#0 @0
0: R1=ctx(id=0,off=0,imm=0) R10=fp0
0: (61) r2 = *(u32 *)(r1 +76)
1: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
1: (61) r3 = *(u32 *)(r1 +80)
2: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
2: (bf) r0 = r2
3: R0_w=pkt(id=0,off=0,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
3: (07) r0 += 16
4: R0_w=pkt(id=0,off=16,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
4: (bd) if r0 <= r3 goto pc+1
 R0_w=pkt(id=0,off=16,r=-2,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
5: R0_w=pkt(id=0,off=16,r=-2,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
5: (95) exit
6: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=16,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
6: (61) r6 = *(u32 *)(r2 +8)
7: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=16,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0
7: (b7) r2 = 0
8: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=inv0 R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0
8: (63) *(u32 *)(r10 -8) = r2
last_idx 8 first_idx 0
regs=4 stack=0 before 7: (b7) r2 = 0
9: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000
9: (7b) *(u64 *)(r10 -16) = r2
10: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16_w=00000000
10: (7b) *(u64 *)(r10 -24) = r2
11: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000
11: (7b) *(u64 *)(r10 -32) = r2
12: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000 fp-32_w=00000000
12: (7b) *(u64 *)(r10 -40) = r2
13: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000 fp-32_w=00000000 fp-40_w=00000000
13: (7b) *(u64 *)(r10 -48) = r2
14: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000 fp-32_w=00000000 fp-40_w=00000000 fp-48_w=00000000
14: (bf) r2 = r10
15: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=fp0 R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000 fp-32_w=00000000 fp-40_w=00000000 fp-48_w=00000000
15: (07) r2 += -48
16: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=fp-48 R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000 fp-32_w=00000000 fp-40_w=00000000 fp-48_w=00000000
16: (b7) r3 = 36
17: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=fp-48 R3_w=inv36 R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000 fp-32_w=00000000 fp-40_w=00000000 fp-48_w=00000000
17: (b7) r4 = 0
18: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=fp-48 R3_w=inv36 R4_w=inv0 R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000 fp-32_w=00000000 fp-40_w=00000000 fp-48_w=00000000
18: (b7) r5 = 0
19: R0_w=pkt(id=0,off=16,r=16,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=fp-48 R3_w=inv36 R4_w=inv0 R5_w=inv0 R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000 fp-32_w=00000000 fp-40_w=00000000 fp-48_w=00000000
19: (85) call bpf_sk_lookup_tcp#84
last_idx 19 first_idx 0
regs=8 stack=0 before 18: (b7) r5 = 0
regs=8 stack=0 before 17: (b7) r4 = 0
regs=8 stack=0 before 16: (b7) r3 = 36
20: R0=sock_or_null(id=2,ref_obj_id=2,off=0,imm=0) R6=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
20: (15) if r6 == 0x0 goto pc+4
 R0=sock_or_null(id=2,ref_obj_id=2,off=0,imm=0) R6=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
21: R0=sock_or_null(id=2,ref_obj_id=2,off=0,imm=0) R6=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
21: (15) if r0 == 0x0 goto pc+2
 R0=sock(id=0,ref_obj_id=2,off=0,imm=0) R6=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
22: R0=sock(id=0,ref_obj_id=2,off=0,imm=0) R6=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
22: (bf) r1 = r0
23: R0=sock(id=0,ref_obj_id=2,off=0,imm=0) R1_w=sock(id=0,ref_obj_id=2,off=0,imm=0) R6=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
23: (85) call bpf_sk_release#86
24: R0_w=inv(id=0) R6=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm
24: (95) exit
24: R0=inv0 R6=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff)) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm
24: (95) exit
25: R0=sock_or_null(id=2,ref_obj_id=2,off=0,imm=0) R6=inv0 R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
25: (15) if r0 == 0x0 goto pc+2
 R0=sock(id=0,ref_obj_id=2,off=0,imm=0) R6=inv0 R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
26: R0=sock(id=0,ref_obj_id=2,off=0,imm=0) R6=inv0 R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
26: (bf) r1 = r0
27: R0=sock(id=0,ref_obj_id=2,off=0,imm=0) R1_w=sock(id=0,ref_obj_id=2,off=0,imm=0) R6=inv0 R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
27: (85) call bpf_sk_release#86
28: R0=inv(id=0) R6=inv0 R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm
28: (95) exit

from 25 to 28: safe
processed 31 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1
OK
Summary: 1 PASSED, 0 SKIPPED, 0 FAILED