verifier bug: REG INVARIANTS VIOLATION (true_reg1): range bounds violation u64=[0xffffdfcd, 0xffffffffffffdfcc] s64=[0x80000000ffffdfcd, 0x7fffffffffffdfcc] u32=[0xffffdfcd, 0xffffdfcc] s32=[0xffffdfcd, 0xffffdfcc] var_off=(0xffffdfcc, 0xffffffff00000000)
WARNING: kernel/bpf/verifier.c:2763 at reg_bounds_sanity_check+0x160/0x1e8 kernel/bpf/verifier.c:2763, CPU#0: syz.3.15494/17557
Modules linked in:
CPU: 0 UID: 0 PID: 17557 Comm: syz.3.15494 Tainted: G             L      syzkaller #0 PREEMPT 
Tainted: [L]=SOFTLOCKUP
Hardware name: linux,dummy-virt (DT)
pstate: 61402009 (nZCv daif +PAN -UAO -TCO +DIT -SSBS BTYPE=--)
pc : reg_bounds_sanity_check+0x160/0x1e8 kernel/bpf/verifier.c:2763
lr : reg_bounds_sanity_check+0x160/0x1e8 kernel/bpf/verifier.c:2763
sp : ffff80008a003750
x29: ffff80008a003780 x28: 0000000000000010 x27: 0000000000000230
x26: f0f00000342c3b10 x25: 0000000000000001 x24: 0000000000000010
x23: ffff800082594e50 x22: ffff800082594dd8 x21: ffff800082597140
x20: f3f0000053df0000 x19: f2f0000012820230 x18: 00000000ffffffff
x17: ffffffffffffdfcd x16: 0000000000000000 x15: ffff8000831dbb4d
x14: 00000000000002c4 x13: 00000000efe4b99a x12: 0000722515abdd86
x11: 00000000000000c0 x10: ed8429564aaed64f x9 : f3a22038e5b2ebff
x8 : fcf00000066bf308 x7 : 0000000000000004 x6 : 0000000000000000
x5 : fcf00000066be300 x4 : fbffff3fffffffff x3 : 000000000000ffff
x2 : 0000000000000000 x1 : 0000000000000000 x0 : fcf00000066be300
Call trace:
 reg_bounds_sanity_check+0x160/0x1e8 kernel/bpf/verifier.c:2763 (P)
 reg_set_min_max kernel/bpf/verifier.c:17104 [inline]
 reg_set_min_max+0x118/0x208 kernel/bpf/verifier.c:17071
 check_cond_jmp_op+0xae0/0x1480 kernel/bpf/verifier.c:17548
 do_check_insn kernel/bpf/verifier.c:21107 [inline]
 do_check kernel/bpf/verifier.c:21247 [inline]
 do_check_common+0x2688/0x2b60 kernel/bpf/verifier.c:24589
 do_check_main kernel/bpf/verifier.c:24672 [inline]
 bpf_check+0x1c20/0x26c0 kernel/bpf/verifier.c:25996
 bpf_prog_load+0x658/0xd80 kernel/bpf/syscall.c:3089
 __sys_bpf+0x944/0x1afc kernel/bpf/syscall.c:6228
 __do_sys_bpf kernel/bpf/syscall.c:6341 [inline]
 __se_sys_bpf kernel/bpf/syscall.c:6339 [inline]
 __arm64_sys_bpf+0x24/0x40 kernel/bpf/syscall.c:6339
 __invoke_syscall arch/arm64/kernel/syscall.c:35 [inline]
 invoke_syscall+0x48/0x104 arch/arm64/kernel/syscall.c:49
 el0_svc_common.constprop.0+0x40/0xe0 arch/arm64/kernel/syscall.c:132
 do_el0_svc+0x1c/0x28 arch/arm64/kernel/syscall.c:151
 el0_svc+0x34/0x124 arch/arm64/kernel/entry-common.c:724
 el0t_64_sync_handler+0xa0/0xf0 arch/arm64/kernel/entry-common.c:743
 el0t_64_sync+0x1a4/0x1a8 arch/arm64/kernel/entry.S:596
---[ end trace 0000000000000000 ]---