------------[ cut here ]------------
verifier bug: REG INVARIANTS VIOLATION (false_reg1): range bounds violation u64=[0x2, 0x0] s64=[0x2, 0x0] u32=[0x2, 0x0] s32=[0x2, 0x0] var_off=(0x0, 0x0)(1)
WARNING: CPU: 0 PID: 6306 at kernel/bpf/verifier.c:2689 reg_bounds_sanity_check+0x6e6/0xc20
Modules linked in:
CPU: 0 UID: 0 PID: 6306 Comm: syz.0.184 Not tainted 6.16.0-rc6-syzkaller-00411-g95993dc3039e #0 PREEMPT(full) 
