------------[ cut here ]------------ verifier bug: REG INVARIANTS VIOLATION (false_reg1): range bounds violation u64=[0x4000000, 0x0] s64=[0x4000000, 0x0] u32=[0x4000000, 0x0] s32=[0x4000000, 0x0] var_off=(0x0, 0x0)(1) WARNING: CPU: 1 PID: 6664 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: 6664 Comm: syz.1.1023 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 : ffff80008c8337f0 x29: ffff80008c833820 x28: 0000000000000005 x27: 0000000000000030 x26: f7f000000abedef8 x25: 0000000000000000 x24: f7f000000abe8000 x23: ffff8000824291a8 x22: ffff800082429130 x21: ffff80008242b350 x20: f7f000000abe8000 x19: f0f000000a3bf2d0 x18: 00000000fffffffd x17: 0000000000000000 x16: 00000000d58b6f8f x15: ffff80008c8333f0 x14: 00000000ffffffea x13: 00000000000000b8 x12: ffff800082911258 x11: 00000000000000c0 x10: c52ca5d855f0cb5b x9 : caf861841da13c34 x8 : fdf000000aafb6f8 x7 : 0000000000000004 x6 : 00000000000000b9 x5 : 0000000000000002 x4 : fbffff3fffffffff x3 : 000000000000ffff x2 : 0000000000000000 x1 : 0000000000000000 x0 : fdf000000aafa500 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+0x350/0x12cc kernel/bpf/verifier.c:16779 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 ]---