selftests/bpf: Add test for alu on PTR_TO_FLOW_KEYS
authorHao Sun <sunhao.th@gmail.com>
Mon, 15 Jan 2024 08:20:28 +0000 (09:20 +0100)
committerDaniel Borkmann <daniel@iogearbox.net>
Tue, 16 Jan 2024 16:12:48 +0000 (17:12 +0100)
commit33772ff3b887eb2f426ed66bcb1808837a40669c
tree61761765fc9b6a76a9f4baddb9e63aa6cfe1a016
parent22c7fa171a02d310e3a3f6ed46a698ca8a0060ed
selftests/bpf: Add test for alu on PTR_TO_FLOW_KEYS

Add a test case for PTR_TO_FLOW_KEYS alu. Testing if alu with variable
offset on flow_keys is rejected. For the fixed offset success case, we
already have C code coverage to verify (e.g. via bpf_flow.c).

Signed-off-by: Hao Sun <sunhao.th@gmail.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Yonghong Song <yonghong.song@linux.dev>
Link: https://lore.kernel.org/bpf/20240115082028.9992-2-sunhao.th@gmail.com
tools/testing/selftests/bpf/progs/verifier_value_illegal_alu.c