------------[ cut here ]------------
verifier bug: REG INVARIANTS VIOLATION (false_reg1): range bounds violation u64=[0x1, 0x0] s64=[0x1, 0x0] u32=[0x1, 0x0] s32=[0x1, 0x0] var_off=(0x0, 0x0)
WARNING: kernel/bpf/verifier.c:2742 at reg_bounds_sanity_check+0x164/0x20c kernel/bpf/verifier.c:2742, CPU#0: syz.3.4896/17684
Modules linked in:
CPU: 0 UID: 0 PID: 17684 Comm: syz.3.4896 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+0x164/0x20c kernel/bpf/verifier.c:2742
lr : reg_bounds_sanity_check+0x164/0x20c kernel/bpf/verifier.c:2742
sp : ffff800086163760
x29: ffff800086163790 x28: 0000000000000006 x27: 0000000000000020
x26: f8f00000115f9000 x25: 0000000000000001 x24: f5f00000105d0000
x23: ffff800082500a38 x22: ffff8000825009c0 x21: ffff8000825027f0
x20: f5f00000105d0000 x19: f8f00000115f9150 x18: 00000000ffffffff
x17: 0000000000000000 x16: f5f00000105d0000 x15: ffff8000831eba00
x14: 0000000000000311 x13: 0000000000000000 x12: ffff800082a012d0
x11: 00000000000000c0 x10: caca501e74c2fea4 x9 : 3748474cfb74ae01
x8 : f3f000000bf11018 x7 : 0000000000000004 x6 : 000000a435aaeb38
x5 : 0000000000000001 x4 : fbffff3fffffffff x3 : 000000000000ffff
x2 : 0000000000000000 x1 : 0000000000000000 x0 : f3f000000bf10000
Call trace:
 reg_bounds_sanity_check+0x164/0x20c kernel/bpf/verifier.c:2742 (P)
 reg_set_min_max kernel/bpf/verifier.c:16572 [inline]
 reg_set_min_max+0x1bc/0x1fc kernel/bpf/verifier.c:16537
 check_cond_jmp_op+0x930/0x13e8 kernel/bpf/verifier.c:17005
 do_check_insn kernel/bpf/verifier.c:20441 [inline]
 do_check kernel/bpf/verifier.c:20581 [inline]
 do_check_common+0x24bc/0x2bf8 kernel/bpf/verifier.c:23865
 do_check_main kernel/bpf/verifier.c:23948 [inline]
 bpf_check+0x23a4/0x293c kernel/bpf/verifier.c:25255
 bpf_prog_load+0x63c/0xd40 kernel/bpf/syscall.c:3088
 __sys_bpf+0x2e0/0x1a88 kernel/bpf/syscall.c:6164
 __do_sys_bpf kernel/bpf/syscall.c:6274 [inline]
 __se_sys_bpf kernel/bpf/syscall.c:6272 [inline]
 __arm64_sys_bpf+0x24/0x34 kernel/bpf/syscall.c:6272
 __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/0x128 arch/arm64/kernel/entry-common.c:724
 el0t_64_sync_handler+0xa0/0xe4 arch/arm64/kernel/entry-common.c:743
 el0t_64_sync+0x1a4/0x1a8 arch/arm64/kernel/entry.S:596
---[ end trace 0000000000000000 ]---