Re: [PATCH bpf-next] selftests/bpf: Add arena direct-value one-past-end reject test
From: Woojin Ji
Date: Thu Jun 04 2026 - 11:51:48 EST
Thanks for the review.
I tried moving this into verifier_arena.c, but this test needs to set the
second BPF_PSEUDO_MAP_VALUE ldimm64 immediate to arena_size exactly. The
__arena C forms I checked materialize the arena-end offset as a separate ALU
add or memory access offset instead, so they do not exercise
arena_map_direct_value_addr() with off == arena_size.
So v2 keeps the userspace raw-instruction test and expands the commit message
to explain why it is needed.
v2: https://lore.kernel.org/all/20260605-arena-direct-value-v1-v2-1-a92cb281e376@xxxxxxxxx/