verifier bug: REG INVARIANTS VIOLATION (false_reg1): range bounds violation u64=[0xfffffffefffff630, 0xffffffff00000000] s64=[0xfffffffefffff630, 0xffffffff00000000] u32=[0x30, 0x8000050] s32=[0x30, 0x0] var_off=(0xfffffffe00000030, 0x10fffffc0)(1)
WARNING: CPU: 1 PID: 4054 at kernel/bpf/verifier.c:2722 reg_bounds_sanity_check+0x164/0x210 kernel/bpf/verifier.c:2722
Modules linked in:
CPU: 1 UID: 0 PID: 4054 Comm: syz.1.211 Not tainted syzkaller #0 PREEMPT 
Hardware name: linux,dummy-virt (DT)
pstate: 61402009 (nZCv daif +PAN -UAO -TCO +DIT -SSBS BTYPE=--)
pc : reg_bounds_sanity_check+0x164/0x210 kernel/bpf/verifier.c:2722
lr : reg_bounds_sanity_check+0x164/0x210 kernel/bpf/verifier.c:2722
sp : ffff800088a8b7f0
x29: ffff800088a8b820 x28: 0000000000000006 x27: 0000000000000020
x26: f3f000000922b000 x25: 0000000000000001 x24: f1f000000a5e8000
x23: ffff800082429a78 x22: ffff800082429a00 x21: ffff80008242bc20
x20: f1f000000a5e8000 x19: f3f000000922b168 x18: 0000000000000000
x17: 0000000000000000 x16: 0000000000000000 x15: 0000ffffc8dcdfd8
x14: f5f0000005a9dd00 x13: 0000000000000000 x12: ffff800082911258
x11: 00000000000000c0 x10: 0673ec6263498ba0 x9 : e05f0823702cded8
x8 : f5f0000005a9ee78 x7 : 0000000000000004 x6 : 00000005fd37bb17
x5 : 0000000000000002 x4 : fbffff3fffffffff x3 : 000000000000ffff
x2 : 0000000000000000 x1 : 0000000000000000 x0 : f5f0000005a9dc80
Call trace:
 reg_bounds_sanity_check+0x164/0x210 kernel/bpf/verifier.c:2722 (P)
 reg_set_min_max kernel/bpf/verifier.c:16336 [inline]
 reg_set_min_max+0x1b4/0x1f4 kernel/bpf/verifier.c:16308
 check_cond_jmp_op+0x8d0/0x12cc kernel/bpf/verifier.c:16768
 do_check_insn kernel/bpf/verifier.c:19956 [inline]
 do_check kernel/bpf/verifier.c:20093 [inline]
 do_check_common+0x2364/0x29e8 kernel/bpf/verifier.c:23260
 do_check_main kernel/bpf/verifier.c:23343 [inline]
 bpf_check+0x2280/0x2aac kernel/bpf/verifier.c:24703
 bpf_prog_load+0x634/0xb74 kernel/bpf/syscall.c:2979
 __sys_bpf+0x2e0/0x1a3c kernel/bpf/syscall.c:6029
 __do_sys_bpf kernel/bpf/syscall.c:6139 [inline]
 __se_sys_bpf kernel/bpf/syscall.c:6137 [inline]
 __arm64_sys_bpf+0x24/0x34 kernel/bpf/syscall.c:6137
 __invoke_syscall arch/arm64/kernel/syscall.c:35 [inline]
 invoke_syscall+0x48/0x110 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/0x10c arch/arm64/kernel/entry-common.c:879
 el0t_64_sync_handler+0xa0/0xe4 arch/arm64/kernel/entry-common.c:898
 el0t_64_sync+0x1a4/0x1a8 arch/arm64/kernel/entry.S:596
---[ end trace 0000000000000000 ]---