------------[ 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: 7454 at kernel/bpf/verifier.c:2728 reg_bounds_sanity_check+0x6e6/0xc20
Modules linked in:
CPU: 0 UID: 0 PID: 7454 Comm: syz.4.669 Not tainted 6.16.0-rc6-syzkaller-00434-gcd7c97f4584a #0 PREEMPT(full) 
Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS 1.16.2-debian-1.16.2-1 04/01/2014
RIP: 0010:reg_bounds_sanity_check+0x6e6/0xc20
Code: 24 20 4c 8b 44 24 60 4c 8b 4c 24 58 41 ff 75 00 53 41 57 55 ff 74 24 38 ff 74 24 70 ff 74 24 40 e8 7f 99 aa ff 48 83 c4 38 90 <0f> 0b 90 90 48 bb 00 00 00 00 00 fc ff df 4d 89 f7 4c 8b 74 24 08
RSP: 0018:ffffc90007476f08 EFLAGS: 00010282
RAX: e10c5c4c4dd2bb00 RBX: 0000000000000000 RCX: ffff888023029cc0
RDX: 0000000000000000 RSI: 0000000000000001 RDI: 0000000000000002
RBP: 0000000000000002 R08: ffffc90007476be7 R09: 1ffff92000e8ed7c
R10: dffffc0000000000 R11: fffff52000e8ed7d R12: ffff88811a48d348
R13: ffff88811a48d368 R14: ffff88811a48d380 R15: 0000000000000000
FS:  00007fdd695956c0(0000) GS:ffff8880b861f000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 0000001b2db20000 CR3: 00000000270de000 CR4: 00000000000006f0
