verifier bug: REG INVARIANTS VIOLATION (true_reg1): range bounds violation u64=[0xffffdfcd, 0xffffffffffffdfcc] s64=[0x80000000ffffdfcd, 0x7fffffffffffdfcc] u32=[0xffffdfcd, 0xffffdfcc] s32=[0xffffdfcd, 0xffffdfcc] var_off=(0xffffdfcc, 0xffffffff00000000) WARNING: kernel/bpf/verifier.c:2742 at reg_bounds_sanity_check+0x558/0x1804 kernel/bpf/verifier.c:2742, CPU#0: syz.2.1290/7526 Modules linked in: CPU: 0 UID: 0 PID: 7526 Comm: syz.2.1290 Tainted: G L syzkaller #0 PREEMPT Tainted: [L]=SOFTLOCKUP Hardware name: linux,dummy-virt (DT) pstate: 60000005 (nZCv daif -PAN -UAO -TCO -DIT -SSBS BTYPE=--) pc : reg_bounds_sanity_check+0x558/0x1804 kernel/bpf/verifier.c:2742 lr : reg_bounds_sanity_check+0x558/0x1804 kernel/bpf/verifier.c:2742 sp : ffff80008df16fa0 x29: ffff80008df16fd0 x28: 1fffe00002590850 x27: 1fffe00002590850 x26: ffffffffffffdfcc x25: 00000000ffffdfcd x24: ffff8000856f7ae0 x23: 0000000000000004 x22: 0000000000000004 x21: ffff8000856f7980 x20: ffff00001f888000 x19: ffff000012c84230 x18: 00000000ffffdfcc x17: 0000000000000001 x16: ffff00006a02c504 x15: 0000000000001574 x14: 0000000000001570 x13: 0000000000000000 x12: ffff700011be2d67 x11: 1ffff00011be2d66 x10: ffff700011be2d66 x9 : dfff800000000000 x8 : ffff80008df16b38 x7 : ffff80008df16c60 x6 : ffff80008df16bb0 x5 : ffff80008df16b98 x4 : 0000000000000000 x3 : 1fffe0000d407535 x2 : 0000000000000000 x1 : 0000000000000000 x0 : ffff000018550000 Call trace: reg_bounds_sanity_check+0x558/0x1804 kernel/bpf/verifier.c:2742 (P) reg_set_min_max kernel/bpf/verifier.c:16570 [inline] reg_set_min_max+0x14c/0x210 kernel/bpf/verifier.c:16537 check_cond_jmp_op+0x189c/0x5978 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+0x8244/0x9578 kernel/bpf/verifier.c:23865 do_check_main kernel/bpf/verifier.c:23948 [inline] bpf_check+0x5a94/0x8918 kernel/bpf/verifier.c:25255 bpf_prog_load+0x1010/0x1f24 kernel/bpf/syscall.c:3088 __sys_bpf+0x808/0x2988 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+0x70/0xa4 kernel/bpf/syscall.c:6272 __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+0x40/0x58 arch/arm64/kernel/syscall.c:151 el0_svc+0x54/0x2b0 arch/arm64/kernel/entry-common.c:724 el0t_64_sync_handler+0xa0/0xe4 arch/arm64/kernel/entry-common.c:743 el0t_64_sync+0x198/0x19c arch/arm64/kernel/entry.S:596 irq event stamp: 9882 hardirqs last enabled at (9881): [] raw_spin_rq_unlock_irq kernel/sched/sched.h:1570 [inline] hardirqs last enabled at (9881): [] finish_lock_switch kernel/sched/core.c:4995 [inline] hardirqs last enabled at (9881): [] finish_task_switch.isra.0+0x1a8/0x85c kernel/sched/core.c:5112 hardirqs last disabled at (9882): [] el1_brk64+0x20/0x54 arch/arm64/kernel/entry-common.c:412 softirqs last enabled at (9824): [] softirq_handle_end kernel/softirq.c:468 [inline] softirqs last enabled at (9824): [] handle_softirqs+0x88c/0xdb4 kernel/softirq.c:650 softirqs last disabled at (9817): [] __do_softirq+0x14/0x20 kernel/softirq.c:656 ---[ end trace 0000000000000000 ]---