#828/p reference tracking: bpf_sk_release(btf_tcp_sock) , verifier log:
func#0 @0
0: R1=ctx(id=0,off=0,imm=0) R10=fp0
0: (b7) r2 = 0
1: R1=ctx(id=0,off=0,imm=0) R2_w=inv0 R10=fp0
1: (63) *(u32 *)(r10 -8) = r2
last_idx 1 first_idx 0
regs=4 stack=0 before 0: (b7) r2 = 0
2: R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R10=fp0 fp-8=????0000
2: (7b) *(u64 *)(r10 -16) = r2
3: R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R10=fp0 fp-8=????0000 fp-16_w=00000000
3: (7b) *(u64 *)(r10 -24) = r2
4: R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000
4: (7b) *(u64 *)(r10 -32) = r2
5: R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000 fp-32_w=00000000
5: (7b) *(u64 *)(r10 -40) = r2
6: R1=ctx(id=0,off=0,imm=0) R2_w=invP0 R10=fp0 fp-8=????0000 fp-16_w=00000000 fp-24_w=00000000 fp-32_w=00000000 fp-40_w=00000000
6: (7b) *(u64 *)(r10 -48) = r2
7: R1=ctx(id=0,off=0,imm=0) R2_w=invP0 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
7: (bf) r2 = r10
8: R1=ctx(id=0,off=0,imm=0) R2_w=fp0 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
8: (07) r2 += -48
9: R1=ctx(id=0,off=0,imm=0) R2_w=fp-48 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
9: (b7) r3 = 36
10: R1=ctx(id=0,off=0,imm=0) R2_w=fp-48 R3_w=inv36 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
10: (b7) r4 = 0
11: R1=ctx(id=0,off=0,imm=0) R2_w=fp-48 R3_w=inv36 R4_w=inv0 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
11: (b7) r5 = 0
12: R1=ctx(id=0,off=0,imm=0) R2_w=fp-48 R3_w=inv36 R4_w=inv0 R5_w=inv0 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
12: (85) call bpf_sk_lookup_tcp#84
last_idx 12 first_idx 0
regs=8 stack=0 before 11: (b7) r5 = 0
regs=8 stack=0 before 10: (b7) r4 = 0
regs=8 stack=0 before 9: (b7) r3 = 36
13: R0_w=sock_or_null(id=2,ref_obj_id=2,off=0,imm=0) R10=fp0 fp-8=????0000 fp-16_w=0000mmmm fp-24_w=mmmmmmmm fp-32_w=mmmmmmmm fp-40_w=mmmmmmmm fp-48_w=mmmmmmmm refs=2
13: (55) if r0 != 0x0 goto pc+1
 R0_w=inv0 R10=fp0 fp-8=????0000 fp-16_w=0000mmmm fp-24_w=mmmmmmmm fp-32_w=mmmmmmmm fp-40_w=mmmmmmmm fp-48_w=mmmmmmmm
14: R0_w=inv0 R10=fp0 fp-8=????0000 fp-16_w=0000mmmm fp-24_w=mmmmmmmm fp-32_w=mmmmmmmm fp-40_w=mmmmmmmm fp-48_w=mmmmmmmm
14: (95) exit
15: R0=sock(id=0,ref_obj_id=2,off=0,imm=0) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
15: (bf) r6 = r0
16: R0=sock(id=0,ref_obj_id=2,off=0,imm=0) R6_w=sock(id=0,ref_obj_id=2,off=0,imm=0) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
16: (bf) r1 = r0
17: 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_w=sock(id=0,ref_obj_id=2,off=0,imm=0) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
17: (85) call bpf_skc_to_tcp_sock#137
18: R0_w=ptr_or_null_tcp_sock(id=3,off=0,imm=0) R6_w=sock(id=0,ref_obj_id=2,off=0,imm=0) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
18: (55) if r0 != 0x0 goto pc+3
 R0_w=inv0 R6_w=sock(id=0,ref_obj_id=2,off=0,imm=0) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
19: R0_w=inv0 R6_w=sock(id=0,ref_obj_id=2,off=0,imm=0) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
19: (bf) r1 = r6
20: R0_w=inv0 R1_w=sock(id=0,ref_obj_id=2,off=0,imm=0) R6_w=sock(id=0,ref_obj_id=2,off=0,imm=0) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm refs=2
20: (85) call bpf_sk_release#86
21: R0_w=inv(id=0) R6_w=inv(id=0) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm
21: (95) exit
22: R0_w=ptr_tcp_sock(id=0,off=0,imm=0) R6_w=sock(id=0,ref_obj_id=2,off=0,imm=0) 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_w=ptr_tcp_sock(id=0,off=0,imm=0) R1_w=ptr_tcp_sock(id=0,off=0,imm=0) R6_w=sock(id=0,ref_obj_id=2,off=0,imm=0) 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=inv(id=0) R6=inv(id=0) R10=fp0 fp-8=????0000 fp-16=0000mmmm fp-24=mmmmmmmm fp-32=mmmmmmmm fp-40=mmmmmmmm fp-48=mmmmmmmm
24: (95) exit
processed 25 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