Re: [PATCH bpf-next] bpf: Fix a BTF_ID_LIST bug with CONFIG_DEBUG_INFO_BTF not set

patchwork-bot+netdevbpf
2022-11-23T21:30:19Z

Hello:

This patch was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@kernel.org>:

On Wed, 23 Nov 2022 07:57:59 -0800 you wrote:
> With CONFIG_DEBUG_INFO_BTF not set, we hit the following compilation error,
> /.../kernel/bpf/verifier.c:8196:23: error: array index 6 is past the end of the array
> (that has type 'u32[5]' (aka 'unsigned int[5]')) [-Werror,-Warray-bounds]
> if (meta->func_id == special_kfunc_list[KF_bpf_cast_to_kern_ctx])
> ^ ~~~~~~~~~~~~~~~~~~~~~~~
> /.../kernel/bpf/verifier.c:8174:1: note: array 'special_kfunc_list' declared here
> BTF_ID_LIST(special_kfunc_list)
> ^
> /.../include/linux/btf_ids.h:207:27: note: expanded from macro 'BTF_ID_LIST'
> #define BTF_ID_LIST(name) static u32 __maybe_unused name[5];
> ^
> /.../kernel/bpf/verifier.c:8443:19: error: array index 5 is past the end of the array
> (that has type 'u32[5]' (aka 'unsigned int[5]')) [-Werror,-Warray-bounds]
> btf_id == special_kfunc_list[KF_bpf_list_pop_back];
> ^ ~~~~~~~~~~~~~~~~~~~~
> /.../kernel/bpf/verifier.c:8174:1: note: array 'special_kfunc_list' declared here
> BTF_ID_LIST(special_kfunc_list)
> ^
> /.../include/linux/btf_ids.h:207:27: note: expanded from macro 'BTF_ID_LIST'
> #define BTF_ID_LIST(name) static u32 __maybe_unused name[5];
> ...
>
> [...]

Here is the summary with links:
- [bpf-next] bpf: Fix a BTF_ID_LIST bug with CONFIG_DEBUG_INFO_BTF not set
https://git.kernel.org/bpf/bpf-next/c/beb3d47d1d3d

You are awesome, thank you!
--
Deet-doot-dot, I am a bot.