Re: [syzbot] [bpf?] UBSAN: array-index-out-of-bounds in check_stack_range_initialized

From: syzbot
Date: Wed Mar 20 2024 - 15:53:10 EST


Hello,

syzbot tried to test the proposed patch but the build/boot failed:

kernel/bpf/verifier.c:10263:13: error: member reference type 'struct bpf_call_arg_meta' is not a pointer; did you mean to use '.'?
kernel/bpf/verifier.c:10263:28: error: member reference type 'struct bpf_call_arg_meta' is not a pointer; did you mean to use '.'?
kernel/bpf/verifier.c:10263:53: error: member reference type 'struct bpf_call_arg_meta' is not a pointer; did you mean to use '.'?


Tested on:

commit: 114b5b3b bpf, arm64: fix bug in BPF_LDX_MEMSX
git tree: https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf.git master
kernel config: https://syzkaller.appspot.com/x/.config?x=6fb1be60a193d440
dashboard link: https://syzkaller.appspot.com/bug?extid=33f4297b5f927648741a
compiler: Debian clang version 15.0.6, GNU ld (GNU Binutils for Debian) 2.40
patch: https://syzkaller.appspot.com/x/patch.diff?x=11495c6e180000