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) WARNING: CPU: 0 PID: 4061 at kernel/bpf/verifier.c:2715 reg_bounds_sanity_check+0x55c/0x1808 kernel/bpf/verifier.c:2715 Modules linked in: CPU: 0 UID: 0 PID: 4061 Comm: syz.0.252 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+0x55c/0x1808 kernel/bpf/verifier.c:2715 lr : reg_bounds_sanity_check+0x55c/0x1808 kernel/bpf/verifier.c:2715 sp : ffff80008f956fc0 x29: ffff80008f956ff0 x28: 1fffe00002656634 x27: 1fffe00002656634 x26: ffffffff00000000 x25: fffffffefffff630 x24: ffff800085646aa0 x23: 0000000000000004 x22: 0000000000000004 x21: ffff800085646940 x20: ffff000021b20000 x19: ffff0000132b3150 x18: 0000000000000000 x17: ffff00000f021e88 x16: ffff00006a051504 x15: 1fffe00003f7b710 x14: 0000000000001730 x13: 0000000000000000 x12: ffff6000026356f1 x11: 1fffe000026356f0 x10: ffff6000026356f0 x9 : dfff800000000000 x8 : ffff0000131ab783 x7 : 0000000000000001 x6 : ffff6000026356f0 x5 : ffff0000131ab780 x4 : ffff6000026356f1 x3 : 1fffe0000d40bf3e x2 : 0000000000000000 x1 : 0000000000000000 x0 : ffff000013d49e80 Call trace: reg_bounds_sanity_check+0x55c/0x1808 kernel/bpf/verifier.c:2715 (P) reg_set_min_max kernel/bpf/verifier.c:16411 [inline] reg_set_min_max+0x174/0x210 kernel/bpf/verifier.c:16383 check_cond_jmp_op+0x110c/0x5898 kernel/bpf/verifier.c:16843 do_check_insn kernel/bpf/verifier.c:19931 [inline] do_check kernel/bpf/verifier.c:20071 [inline] do_check_common+0x7b80/0x9448 kernel/bpf/verifier.c:23261 do_check_main kernel/bpf/verifier.c:23344 [inline] bpf_check+0x6164/0x8d6c kernel/bpf/verifier.c:24649 bpf_prog_load+0x1010/0x1e04 kernel/bpf/syscall.c:3077 __sys_bpf+0x800/0x2980 kernel/bpf/syscall.c:6149 __do_sys_bpf kernel/bpf/syscall.c:6259 [inline] __se_sys_bpf kernel/bpf/syscall.c:6257 [inline] __arm64_sys_bpf+0x70/0xa4 kernel/bpf/syscall.c:6257 __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+0x50/0x248 arch/arm64/kernel/entry-common.c:897 el0t_32_sync_handler+0x88/0xac arch/arm64/kernel/entry-common.c:915 el0t_32_sync+0x19c/0x1a0 arch/arm64/kernel/entry.S:601 irq event stamp: 1592 hardirqs last enabled at (1591): [] raw_spin_rq_unlock_irq kernel/sched/sched.h:1559 [inline] hardirqs last enabled at (1591): [] finish_lock_switch kernel/sched/core.c:5073 [inline] hardirqs last enabled at (1591): [] finish_task_switch.isra.0+0x1a8/0x854 kernel/sched/core.c:5191 hardirqs last disabled at (1592): [] el1_brk64+0x20/0x54 arch/arm64/kernel/entry-common.c:434 softirqs last enabled at (1584): [] softirq_handle_end kernel/softirq.c:468 [inline] softirqs last enabled at (1584): [] handle_softirqs+0x88c/0xdb4 kernel/softirq.c:650 softirqs last disabled at (1563): [] __do_softirq+0x14/0x20 kernel/softirq.c:656 ---[ end trace 0000000000000000 ]---