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.1.159/4069
Modules linked in:
CPU: 0 UID: 0 PID: 4069 Comm: syz.1.159 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+0x558/0x1804 kernel/bpf/verifier.c:2742
lr : reg_bounds_sanity_check+0x558/0x1804 kernel/bpf/verifier.c:2742
sp : ffff8000a0d96fa0
x29: ffff8000a0d96fd0 x28: 1fffe00004690250 x27: 1fffe00004690250
x26: ffffffffffffdfcc x25: 00000000ffffdfcd x24: ffff8000856f7b20
x23: 0000000000000004 x22: 0000000000000004 x21: ffff8000856f79c0
x20: ffff0000178d0000 x19: ffff000023481230 x18: 0000000000000000
x17: ffff7fffe2d41000 x16: ffff00006a02c504 x15: 0000000020012340
x14: 0000000000001720 x13: 0000000000000000 x12: ffff7000141b2d69
x11: 1ffff000141b2d68 x10: ffff7000141b2d68 x9 : dfff800000000000
x8 : ffff8000a0d96b48 x7 : ffff8000a0d96c70 x6 : ffff8000a0d96bc0
x5 : ffff8000a0d96ba8 x4 : 0000000000000000 x3 : 1fffe0000d407535
x2 : 0000000000000000 x1 : 0000000000000000 x0 : ffff0000155a5580
Call trace:
 reg_bounds_sanity_check+0x558/0x1804 kernel/bpf/verifier.c:2742 (P)
 reg_set_min_max kernel/bpf/verifier.c:16575 [inline]
 reg_set_min_max+0x14c/0x210 kernel/bpf/verifier.c:16542
 check_cond_jmp_op+0x189c/0x5978 kernel/bpf/verifier.c:17010
 do_check_insn kernel/bpf/verifier.c:20446 [inline]
 do_check kernel/bpf/verifier.c:20586 [inline]
 do_check_common+0x8244/0x9578 kernel/bpf/verifier.c:23870
 do_check_main kernel/bpf/verifier.c:23953 [inline]
 bpf_check+0x5910/0x89b4 kernel/bpf/verifier.c:25260
 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_compat+0x40/0x68 arch/arm64/kernel/syscall.c:157
 el0_svc_compat+0x50/0x278 arch/arm64/kernel/entry-common.c:875
 el0t_32_sync_handler+0x88/0xac arch/arm64/kernel/entry-common.c:893
 el0t_32_sync+0x19c/0x1a0 arch/arm64/kernel/entry.S:601
irq event stamp: 2882
hardirqs last  enabled at (2881): [<ffff800080268168>] raw_spin_rq_unlock_irq kernel/sched/sched.h:1592 [inline]
hardirqs last  enabled at (2881): [<ffff800080268168>] finish_lock_switch kernel/sched/core.c:4999 [inline]
hardirqs last  enabled at (2881): [<ffff800080268168>] finish_task_switch.isra.0+0x15c/0x690 kernel/sched/core.c:5116
hardirqs last disabled at (2882): [<ffff8000855c397c>] el1_brk64+0x20/0x54 arch/arm64/kernel/entry-common.c:412
softirqs last  enabled at (2786): [<ffff8000801c9738>] softirq_handle_end kernel/softirq.c:468 [inline]
softirqs last  enabled at (2786): [<ffff8000801c9738>] handle_softirqs+0x88c/0xdb4 kernel/softirq.c:650
softirqs last disabled at (2771): [<ffff8000800107c0>] __do_softirq+0x14/0x20 kernel/softirq.c:656
---[ end trace 0000000000000000 ]---