-------- Verifier Log --------
func#0 @0
0: R1=ctx(off=0,imm=0) R10=fp0
0: (18) r0 = 0x3d                     ; R0_w=61
2: (18) r4 = 0xffff88810e494000       ; R4_w=map_ptr(off=0,ks=4,vs=128,imm=0)
4: (18) r7 = 0x2400000018             ; R7_w=154618822680
6: (bc) w2 = w4                       ; R2_w=scalar(smin=0,smax=umax=4294967295,var_off=(0x0; 0xffffffff)) R4_w=map_ptr(off=0,ks=4,vs=128,imm=0)
7: (bf) r3 = r1                       ; R1=ctx(off=0,imm=0) R3_w=ctx(off=0,imm=0)
8: (bf) r5 = r2                       ; R2_w=scalar(id=1,smin=0,smax=umax=4294967295,var_off=(0x0; 0xffffffff)) R5_w=scalar(id=1,smin=0,smax=umax=4294967295,var_off=(0x0; 0xffffffff))
9: (85) call bpf_get_current_ancestor_cgroup_id#123   ; R0_w=scalar()
10: (5c) w7 &= w0                     ; R0_w=scalar() R7_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=24,var_off=(0x0; 0x18))
11: (b5) if r0 <= 0xfffffffb goto pc+16       ; R0_w=scalar(smin=smin32=-4,smax=smax32=-1,umin=18446744073709551612,umin32=4294967292,var_off=(0xfffffffffffffffc; 0x3))
12: (bf) r4 = r0                      ; R0_w=scalar(id=2,smin=smin32=-4,smax=smax32=-1,umin=18446744073709551612,umin32=4294967292,var_off=(0xfffffffffffffffc; 0x3)) R4_w=scalar(id=2,smin=smin32=-4,smax=smax32=-1,umin=18446744073709551612,umin32=4294967292,var_off=(0xfffffffffffffffc; 0x3))
13: (bf) r6 = r7                      ; R6=scalar(id=3,smin=smin32=0,smax=umax=smax32=umax32=24,var_off=(0x0; 0x18)) R7=scalar(id=3,smin=smin32=0,smax=umax=smax32=umax32=24,var_off=(0x0; 0x18))
14: (5d) if r7 != r0 goto pc+2        ; R0=-4 R7=-4
15: (c7) r7 s>>= 23                   ; R7_w=-1
16: (6f) r6 <<= r7                    ; R6_w=scalar() R7_w=-1
17: (74) w6 >>= 14                    ; R6_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=262143,var_off=(0x0; 0x3ffff))
18: (47) r0 |= -5                     ; R0_w=-1
19: (65) if r4 s> 0x6 goto pc+5
mark_precise: frame0: last_idx 19 first_idx 14 subseq_idx -1 
mark_precise: frame0: regs=r4 stack= before 18: (47) r0 |= -5
mark_precise: frame0: regs=r4 stack= before 17: (74) w6 >>= 14
mark_precise: frame0: regs=r4 stack= before 16: (6f) r6 <<= r7
mark_precise: frame0: regs=r4 stack= before 15: (c7) r7 s>>= 23
mark_precise: frame0: regs=r4 stack= before 14: (5d) if r7 != r0 goto pc+2
mark_precise: frame0: parent state regs=r4 stack=:  R0_rw=scalar(id=2,smin=smin32=-4,smax=smax32=-1,umin=18446744073709551612,umin32=4294967292,var_off=(0xfffffffffffffffc; 0x3)) R4_rw=Pscalar(id=2,smin=smin32=-4,smax=smax32=-1,umin=18446744073709551612,umin32=4294967292,var_off=(0xfffffffffffffffc; 0x3)) R6_rw=scalar(id=3,smin=smin32=0,smax=umax=smax32=umax32=24,var_off=(0x0; 0x18)) R7_rw=scalar(id=3,smin=smin32=0,smax=umax=smax32=umax32=24,var_off=(0x0; 0x18)) R10=fp0
mark_precise: frame0: last_idx 13 first_idx 0 subseq_idx 14 
mark_precise: frame0: regs=r0,r4 stack= before 13: (bf) r6 = r7
mark_precise: frame0: regs=r0,r4 stack= before 12: (bf) r4 = r0
mark_precise: frame0: regs=r0 stack= before 11: (b5) if r0 <= 0xfffffffb goto pc+16
mark_precise: frame0: regs=r0 stack= before 10: (5c) w7 &= w0
mark_precise: frame0: regs=r0 stack= before 9: (85) call bpf_get_current_ancestor_cgroup_id#123
19: R4=-4
20: (18) r5 = 0xffff88810e494000      ; R5_w=map_ptr(off=0,ks=4,vs=128,imm=0)
22: (bf) r2 = r7                      ; R2_w=-1 R7_w=-1
23: (bf) r8 = r4                      ; R4=-4 R8_w=-4
24: (44) w8 |= -55                    ; R8=4294967293
25: (cc) w0 s>>= w4                   ; R0_w=4294967295 R4=-4
26: (18) r1 = 0x7                     ; R1_w=7
28: (bf) r8 = r0                      ; R0_w=4294967295 R8_w=4294967295
29: (27) r7 *= 1721854702             ; R7_w=-1721854702
30: (d5) if r7 s<= 0x0 goto pc+10
mark_precise: frame0: last_idx 30 first_idx 25 subseq_idx -1 
mark_precise: frame0: regs=r7 stack= before 29: (27) r7 *= 1721854702
mark_precise: frame0: regs=r7 stack= before 28: (bf) r8 = r0
mark_precise: frame0: regs=r7 stack= before 26: (18) r1 = 0x7
mark_precise: frame0: regs=r7 stack= before 25: (cc) w0 s>>= w4
mark_precise: frame0: parent state regs=r7 stack=:  R0_rw=-1 R2_w=-1 R4_r=-4 R5_w=map_ptr(off=0,ks=4,vs=128,imm=0) R6_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=262143,var_off=(0x0; 0x3ffff)) R7_rw=P-1 R8_w=4294967293 R10=fp0
mark_precise: frame0: last_idx 24 first_idx 14 subseq_idx 25 
mark_precise: frame0: regs=r7 stack= before 24: (44) w8 |= -55
mark_precise: frame0: regs=r7 stack= before 23: (bf) r8 = r4
mark_precise: frame0: regs=r7 stack= before 22: (bf) r2 = r7
mark_precise: frame0: regs=r7 stack= before 20: (18) r5 = 0xffff88810e494000
mark_precise: frame0: regs=r7 stack= before 19: (65) if r4 s> 0x6 goto pc+5
mark_precise: frame0: regs=r7 stack= before 18: (47) r0 |= -5
mark_precise: frame0: regs=r7 stack= before 17: (74) w6 >>= 14
mark_precise: frame0: regs=r7 stack= before 16: (6f) r6 <<= r7
mark_precise: frame0: regs=r7 stack= before 15: (c7) r7 s>>= 23
mark_precise: frame0: regs=r7 stack= before 14: (5d) if r7 != r0 goto pc+2
mark_precise: frame0: parent state regs=r0,r7 stack=:  R0_rw=Pscalar(id=2,smin=smin32=-4,smax=smax32=-1,umin=18446744073709551612,umin32=4294967292,var_off=(0xfffffffffffffffc; 0x3)) R4_rw=Pscalar(id=2,smin=smin32=-4,smax=smax32=-1,umin=18446744073709551612,umin32=4294967292,var_off=(0xfffffffffffffffc; 0x3)) R6_rw=scalar(id=3,smin=smin32=0,smax=umax=smax32=umax32=24,var_off=(0x0; 0x18)) R7_rw=Pscalar(id=3,smin=smin32=0,smax=umax=smax32=umax32=24,var_off=(0x0; 0x18)) R10=fp0
mark_precise: frame0: last_idx 13 first_idx 0 subseq_idx 14 
mark_precise: frame0: regs=r0,r4,r6,r7 stack= before 13: (bf) r6 = r7
mark_precise: frame0: regs=r0,r4,r7 stack= before 12: (bf) r4 = r0
mark_precise: frame0: regs=r0,r7 stack= before 11: (b5) if r0 <= 0xfffffffb goto pc+16
mark_precise: frame0: regs=r0,r7 stack= before 10: (5c) w7 &= w0
mark_precise: frame0: regs=r0,r7 stack= before 9: (85) call bpf_get_current_ancestor_cgroup_id#123
mark_precise: frame0: regs=r7 stack= before 8: (bf) r5 = r2
mark_precise: frame0: regs=r7 stack= before 7: (bf) r3 = r1
mark_precise: frame0: regs=r7 stack= before 6: (bc) w2 = w4
mark_precise: frame0: regs=r7 stack= before 4: (18) r7 = 0x2400000018
30: R7_w=-1721854702
41: (bc) w5 = w7                      ; R5_w=2573112594 R7_w=-1721854702
42: (bf) r6 = r10                     ; R6_w=fp0 R10=fp0
43: (4e) if w7 & w7 goto pc+3
mark_precise: frame0: last_idx 43 first_idx 25 subseq_idx -1 
mark_precise: frame0: regs=r7 stack= before 42: (bf) r6 = r10
mark_precise: frame0: regs=r7 stack= before 41: (bc) w5 = w7
mark_precise: frame0: regs=r7 stack= before 30: (d5) if r7 s<= 0x0 goto pc+10
mark_precise: frame0: regs=r7 stack= before 29: (27) r7 *= 1721854702
mark_precise: frame0: regs=r7 stack= before 28: (bf) r8 = r0
mark_precise: frame0: regs=r7 stack= before 26: (18) r1 = 0x7
mark_precise: frame0: regs=r7 stack= before 25: (cc) w0 s>>= w4
mark_precise: frame0: parent state regs= stack=:  R0_rw=-1 R2_w=-1 R4_r=-4 R5_w=map_ptr(off=0,ks=4,vs=128,imm=0) R6_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=262143,var_off=(0x0; 0x3ffff)) R7_rw=P-1 R8_w=4294967293 R10=fp0
mark_precise: frame0: last_idx 43 first_idx 25 subseq_idx -1 
mark_precise: frame0: regs=r7 stack= before 42: (bf) r6 = r10
mark_precise: frame0: regs=r7 stack= before 41: (bc) w5 = w7
mark_precise: frame0: regs=r7 stack= before 30: (d5) if r7 s<= 0x0 goto pc+10
mark_precise: frame0: regs=r7 stack= before 29: (27) r7 *= 1721854702
mark_precise: frame0: regs=r7 stack= before 28: (bf) r8 = r0
mark_precise: frame0: regs=r7 stack= before 26: (18) r1 = 0x7
mark_precise: frame0: regs=r7 stack= before 25: (cc) w0 s>>= w4
mark_precise: frame0: parent state regs= stack=:  R0_rw=-1 R2_w=-1 R4_r=-4 R5_w=map_ptr(off=0,ks=4,vs=128,imm=0) R6_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=262143,var_off=(0x0; 0x3ffff)) R7_rw=P-1 R8_w=4294967293 R10=fp0
43: R7_w=-1721854702
47: (4f) r5 |= r5                     ; R5_w=2573112594
48: (2f) r7 *= r0                     ; R0=4294967295 R7_w=-7395309631831971090
49: (0f) r0 += r6
mark_precise: frame0: last_idx 49 first_idx 47 subseq_idx -1 
mark_precise: frame0: regs=r0 stack= before 48: (2f) r7 *= r0
mark_precise: frame0: regs=r0 stack= before 47: (4f) r5 |= r5
mark_precise: frame0: parent state regs=r0 stack=:  R0_rw=P4294967295 R1_w=7 R2=-1 R4=-4 R5_rw=2573112594 R6_rw=fp0 R7_rw=-1721854702 R8_w=4294967295 R10=fp0
mark_precise: frame0: last_idx 43 first_idx 25 subseq_idx 47 
mark_precise: frame0: regs=r0 stack= before 43: (4e) if w7 & w7 goto pc+3
mark_precise: frame0: regs=r0 stack= before 42: (bf) r6 = r10
mark_precise: frame0: regs=r0 stack= before 41: (bc) w5 = w7
mark_precise: frame0: regs=r0 stack= before 30: (d5) if r7 s<= 0x0 goto pc+10
mark_precise: frame0: regs=r0 stack= before 29: (27) r7 *= 1721854702
mark_precise: frame0: regs=r0 stack= before 28: (bf) r8 = r0
mark_precise: frame0: regs=r0 stack= before 26: (18) r1 = 0x7
mark_precise: frame0: regs=r0 stack= before 25: (cc) w0 s>>= w4
mark_precise: frame0: parent state regs=r0,r4 stack=:  R0_rw=P-1 R2_w=-1 R4_r=P-4 R5_w=map_ptr(off=0,ks=4,vs=128,imm=0) R6_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=262143,var_off=(0x0; 0x3ffff)) R7_rw=P-1 R8_w=4294967293 R10=fp0
mark_precise: frame0: last_idx 24 first_idx 14 subseq_idx 25 
mark_precise: frame0: regs=r0,r4 stack= before 24: (44) w8 |= -55
mark_precise: frame0: regs=r0,r4 stack= before 23: (bf) r8 = r4
mark_precise: frame0: regs=r0,r4 stack= before 22: (bf) r2 = r7
mark_precise: frame0: regs=r0,r4 stack= before 20: (18) r5 = 0xffff88810e494000
mark_precise: frame0: regs=r0,r4 stack= before 19: (65) if r4 s> 0x6 goto pc+5
mark_precise: frame0: regs=r0,r4 stack= before 18: (47) r0 |= -5
mark_precise: frame0: regs=r0,r4 stack= before 17: (74) w6 >>= 14
mark_precise: frame0: regs=r0,r4 stack= before 16: (6f) r6 <<= r7
mark_precise: frame0: regs=r0,r4 stack= before 15: (c7) r7 s>>= 23
mark_precise: frame0: regs=r0,r4 stack= before 14: (5d) if r7 != r0 goto pc+2
mark_precise: frame0: parent state regs= stack=:  R0_rw=Pscalar(id=2,smin=smin32=-4,smax=smax32=-1,umin=18446744073709551612,umin32=4294967292,var_off=(0xfffffffffffffffc; 0x3)) R4_rw=Pscalar(id=2,smin=smin32=-4,smax=smax32=-1,umin=18446744073709551612,umin32=4294967292,var_off=(0xfffffffffffffffc; 0x3)) R6_rw=scalar(id=3,smin=smin32=0,smax=umax=smax32=umax32=24,var_off=(0x0; 0x18)) R7_rw=Pscalar(id=3,smin=smin32=0,smax=umax=smax32=umax32=24,var_off=(0x0; 0x18)) R10=fp0
math between fp pointer and 4294967295 is not allowed
processed 32 insns (limit 1000000) max_states_per_insn 0 total_states 3 peak_states 3 mark_read 1