------------[ cut here ]------------
trace type BPF program uses run-time allocation
WARNING: CPU: 1 PID: 4276 at kernel/bpf/verifier.c:11729 check_map_prog_compatibility+0x6cf/0x870 kernel/bpf/verifier.c:11729
Modules linked in:
CPU: 0 PID: 4276 Comm: syz.3.13 Not tainted 5.15.182-syzkaller #0
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 04/19/2025
RIP: 0010:check_map_prog_compatibility+0x6cf/0x870 kernel/bpf/verifier.c:11729
Code: ff e8 e5 e1 ef ff 48 c7 c6 80 21 11 8a e9 0d fd ff ff e8 d4 e1 ef ff c6 05 8b 32 cd 0b 01 48 c7 c7 e0 1d 11 8a e8 a1 8b 0e 08 <0f> 0b e9 9f fb ff ff 44 89 e9 80 e1 07 80 c1 03 38 c1 0f 8c a5 f9
RSP: 0018:ffffc90002eaf450 EFLAGS: 00010246
RAX: a301bc022e55e300 RBX: 0000000000000001 RCX: 0000000000080000
RDX: ffffc9000c981000 RSI: 00000000000041ed RDI: 00000000000041ee
RBP: ffff88807bf0c000 R08: dffffc0000000000 R09: ffffed10172267a8
R10: ffffed10172267a8 R11: 1ffff110172267a7 R12: ffffc900010d6038
R13: 0000000000000011 R14: dffffc0000000000 R15: 1ffff9200021ac07
FS:  00007f6dfb4396c0(0000) GS:ffff8880b9100000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 0000001b30a11ff8 CR3: 0000000019f8f000 CR4: 00000000003506e0
DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
DR3: 0000000000000000 DR6: 00000000fffe0ff0 DR7: 0000000000000400
Call Trace:
 <TASK>
 resolve_pseudo_ldimm64+0x685/0x11d0 kernel/bpf/verifier.c:11898
 bpf_check+0x30a4/0xf090 kernel/bpf/verifier.c:14104
 bpf_prog_load+0x1043/0x1550 kernel/bpf/syscall.c:2348
 __sys_bpf+0x4c2/0x670 kernel/bpf/syscall.c:4651
 __do_sys_bpf kernel/bpf/syscall.c:4755 [inline]
 __se_sys_bpf kernel/bpf/syscall.c:4753 [inline]
 __x64_sys_bpf+0x78/0x90 kernel/bpf/syscall.c:4753
 do_syscall_x64 arch/x86/entry/common.c:50 [inline]
 do_syscall_64+0x4c/0xa0 arch/x86/entry/common.c:80
 entry_SYSCALL_64_after_hwframe+0x66/0xd0
RIP: 0033:0x7f6dfd5d1969
Code: ff ff c3 66 2e 0f 1f 84 00 00 00 00 00 0f 1f 40 00 48 89 f8 48 89 f7 48 89 d6 48 89 ca 4d 89 c2 4d 89 c8 4c 8b 4c 24 08 0f 05 <48> 3d 01 f0 ff ff 73 01 c3 48 c7 c1 a8 ff ff ff f7 d8 64 89 01 48
RSP: 002b:00007f6dfb439038 EFLAGS: 00000246 ORIG_RAX: 0000000000000141
RAX: ffffffffffffffda RBX: 00007f6dfd7f8fa0 RCX: 00007f6dfd5d1969
RDX: 0000000000000094 RSI: 0000200000000180 RDI: 0000000000000005
RBP: 00007f6dfd653ab1 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000000
R13: 0000000000000000 R14: 00007f6dfd7f8fa0 R15: 00007fff99417ca8
 </TASK>