------------[ 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: 3703 at kernel/bpf/verifier.c:2722 reg_bounds_sanity_check+0x550/0x176c kernel/bpf/verifier.c:2722 Modules linked in: CPU: 1 UID: 0 PID: 3703 Comm: syz.1.81 Not tainted syzkaller #0 PREEMPT Hardware name: linux,dummy-virt (DT) pstate: 60000005 (nZCv daif -PAN -UAO -TCO -DIT -SSBS BTYPE=--) pc : reg_bounds_sanity_check+0x550/0x176c kernel/bpf/verifier.c:2722 lr : reg_bounds_sanity_check+0x550/0x176c kernel/bpf/verifier.c:2722 sp : ffff8000a1d96fe0 x29: ffff8000a1d97010 x28: 1fffe00002e12863 x27: 1fffe00002e12864 x26: 1fffe00002e12864 x25: 0000000000000000 x24: 0000000004000000 x23: ffff800085567fa0 x22: 0000000000000004 x21: 0000000000000004 x20: ffff00001ecd0000 x19: ffff0000170942d0 x18: 0000000000000000 x17: 0000000000000000 x16: ffff00006a0ad4c4 x15: 0000000020017000 x14: 00000000000016f0 x13: 0000000000000000 x12: ffff7000143b2d65 x11: 1ffff000143b2d64 x10: ffff7000143b2d64 x9 : dfff800000000000 x8 : ffff8000a1d96b28 x7 : ffff8000a1d96c50 x6 : ffff8000a1d96ba0 x5 : ffff8000a1d96b88 x4 : 0000000000000000 x3 : 1fffe0000d41773e x2 : 0000000000000000 x1 : 0000000000000000 x0 : ffff000013215ac0 Call trace: reg_bounds_sanity_check+0x550/0x176c kernel/bpf/verifier.c:2722 (P) reg_set_min_max kernel/bpf/verifier.c:16336 [inline] reg_set_min_max+0x174/0x210 kernel/bpf/verifier.c:16308 check_cond_jmp_op+0x89c/0x5704 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+0x8040/0x9338 kernel/bpf/verifier.c:23260 do_check_main kernel/bpf/verifier.c:23343 [inline] bpf_check+0x5f30/0x9508 kernel/bpf/verifier.c:24703 bpf_prog_load+0xe2c/0x1b74 kernel/bpf/syscall.c:2979 __sys_bpf+0x9c4/0x29c8 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+0x70/0xa4 kernel/bpf/syscall.c:6137 __invoke_syscall arch/arm64/kernel/syscall.c:35 [inline] invoke_syscall+0x6c/0x258 arch/arm64/kernel/syscall.c:49 el0_svc_common.constprop.0+0xac/0x230 arch/arm64/kernel/syscall.c:132 do_el0_svc_compat+0x40/0x68 arch/arm64/kernel/syscall.c:157 el0_svc_compat+0x4c/0x184 arch/arm64/kernel/entry-common.c:1029 el0t_32_sync_handler+0x88/0xac arch/arm64/kernel/entry-common.c:1047 el0t_32_sync+0x19c/0x1a0 arch/arm64/kernel/entry.S:601 irq event stamp: 1190 hardirqs last enabled at (1189): [] raw_spin_rq_unlock_irq kernel/sched/sched.h:1531 [inline] hardirqs last enabled at (1189): [] finish_lock_switch kernel/sched/core.c:5105 [inline] hardirqs last enabled at (1189): [] finish_task_switch.isra.0+0x1a8/0x854 kernel/sched/core.c:5223 hardirqs last disabled at (1190): [] el1_brk64+0x1c/0x48 arch/arm64/kernel/entry-common.c:574 softirqs last enabled at (1082): [] softirq_handle_end kernel/softirq.c:425 [inline] softirqs last enabled at (1082): [] handle_softirqs+0x88c/0xdb4 kernel/softirq.c:607 softirqs last disabled at (1053): [] __do_softirq+0x14/0x20 kernel/softirq.c:613 ---[ end trace 0000000000000000 ]---