------------[ cut here ]------------ verifier bug: scc exit: no visit info for call chain (1)(1) WARNING: CPU: 3 PID: 6089 at kernel/bpf/verifier.c:1949 maybe_exit_scc+0x768/0x8d0 kernel/bpf/verifier.c:1949 Modules linked in: CPU: 3 UID: 0 PID: 6089 Comm: syz.3.9 Not tainted syzkaller #0 PREEMPT(full) Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS 1.16.3-debian-1.16.3-2~bpo12+1 04/01/2014 RIP: 0010:maybe_exit_scc+0x768/0x8d0 kernel/bpf/verifier.c:1949 Code: ff ff e8 8b 83 e8 ff c6 05 53 74 c1 0e 01 90 48 89 ee 48 89 df e8 f8 47 fb ff 48 c7 c7 c0 92 b5 8b 48 89 c6 e8 e9 7a a7 ff 90 <0f> 0b 90 90 e9 4e ff ff ff e8 9a ea 4d 00 e9 7f f9 ff ff 4c 8b 4c RSP: 0018:ffffc9000396f4f0 EFLAGS: 00010286 RAX: 0000000000000000 RBX: ffff888043e38000 RCX: ffffc9000c001000 RDX: 0000000000080000 RSI: ffffffff817a0305 RDI: 0000000000000001 RBP: ffff888043e3e328 R08: 0000000000000001 R09: 0000000000000000 R10: 0000000000000001 R11: 0000000000000000 R12: 1ffff9200072dea5 R13: 0000000000000000 R14: ffff88806aeaa400 R15: dffffc0000000000 FS: 0000000000000000(0000) GS:ffff8880977ba000(0063) knlGS:00000000f54aeb40 CS: 0010 DS: 002b ES: 002b CR0: 0000000080050033 CR2: 0000000056ea84c0 CR3: 000000006d959000 CR4: 0000000000352ef0 Call Trace: update_branch_counts kernel/bpf/verifier.c:2040 [inline] do_check kernel/bpf/verifier.c:20135 [inline] do_check_common+0x20cc/0xb410 kernel/bpf/verifier.c:23264 do_check_main kernel/bpf/verifier.c:23347 [inline] bpf_check+0x8763/0xc4d0 kernel/bpf/verifier.c:24707 bpf_prog_load+0xe41/0x2490 kernel/bpf/syscall.c:2979 __sys_bpf+0x4a3f/0x4de0 kernel/bpf/syscall.c:6029 __do_sys_bpf kernel/bpf/syscall.c:6139 [inline] __se_sys_bpf kernel/bpf/syscall.c:6137 [inline] __ia32_sys_bpf+0x76/0xe0 kernel/bpf/syscall.c:6137 do_syscall_32_irqs_on arch/x86/entry/syscall_32.c:83 [inline] __do_fast_syscall_32+0x7c/0x300 arch/x86/entry/syscall_32.c:306 do_fast_syscall_32+0x32/0x80 arch/x86/entry/syscall_32.c:331 entry_SYSENTER_compat_after_hwframe+0x84/0x8e RIP: 0023:0xf70be579 Code: b8 01 10 06 03 74 b4 01 10 07 03 74 b0 01 10 08 03 74 d8 01 00 00 00 00 00 00 00 00 00 00 00 00 00 51 52 55 89 e5 0f 34 cd 80 <5d> 5a 59 c3 90 90 90 90 8d b4 26 00 00 00 00 8d b4 26 00 00 00 00 RSP: 002b:00000000f54ae55c EFLAGS: 00000296 ORIG_RAX: 0000000000000165 RAX: ffffffffffffffda RBX: 0000000000000005 RCX: 00000000800017c0 RDX: 0000000000000048 RSI: 0000000000000000 RDI: 0000000000000000 RBP: 0000000000000000 R08: 0000000000000000 R09: 0000000000000000 R10: 0000000000000000 R11: 0000000000000296 R12: 0000000000000000 R13: 0000000000000000 R14: 0000000000000000 R15: 0000000000000000 ---------------- Code disassembly (best guess), 2 bytes skipped: 0: 10 06 adc %al,(%rsi) 2: 03 74 b4 01 add 0x1(%rsp,%rsi,4),%esi 6: 10 07 adc %al,(%rdi) 8: 03 74 b0 01 add 0x1(%rax,%rsi,4),%esi c: 10 08 adc %cl,(%rax) e: 03 74 d8 01 add 0x1(%rax,%rbx,8),%esi 1e: 00 51 52 add %dl,0x52(%rcx) 21: 55 push %rbp 22: 89 e5 mov %esp,%ebp 24: 0f 34 sysenter 26: cd 80 int $0x80 * 28: 5d pop %rbp <-- trapping instruction 29: 5a pop %rdx 2a: 59 pop %rcx 2b: c3 ret 2c: 90 nop 2d: 90 nop 2e: 90 nop 2f: 90 nop 30: 8d b4 26 00 00 00 00 lea 0x0(%rsi,%riz,1),%esi 37: 8d b4 26 00 00 00 00 lea 0x0(%rsi,%riz,1),%esi