bpf: allow invoking bpf_for_each_map_elem with different maps
authorPhilo Lu <lulie@linux.alibaba.com>
Fri, 5 Apr 2024 02:55:35 +0000 (10:55 +0800)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 5 Apr 2024 17:31:17 +0000 (10:31 -0700)
commit9d482da9e17a4ddd5563428f74302a36b2610306
treedaa373372a1c4edf856de49c047898273a7141f5
parent0a525621b7e5b49202b19d8f75382c6778fdd0c1
bpf: allow invoking bpf_for_each_map_elem with different maps

Taking different maps within a single bpf_for_each_map_elem call is not
allowed before, because from the second map,
bpf_insn_aux_data->map_ptr_state will be marked as *poison*. In fact
both map_ptr and state are needed to support this use case: map_ptr is
used by set_map_elem_callback_state() while poison state is needed to
determine whether to use direct call.

Signed-off-by: Philo Lu <lulie@linux.alibaba.com>
Acked-by: Yonghong Song <yonghong.song@linux.dev>
Link: https://lore.kernel.org/r/20240405025536.18113-3-lulie@linux.alibaba.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c