selftests/bpf: test_verifier verbose log overflows
authorGregory Bell <grbell@redhat.com>
Mon, 12 May 2025 14:04:13 +0000 (10:04 -0400)
committerAlexei Starovoitov <ast@kernel.org>
Mon, 12 May 2025 17:43:43 +0000 (10:43 -0700)
Tests:
 - 458/p ld_dw: xor semi-random 64-bit imms, test 5
 - 501/p scale: scale test 1
 - 502/p scale: scale test 2

fail in verbose mode due to bpf_vlog[] overflowing. These tests
generate large verifier logs that exceed the current buffer size,
causing them to fail to load.

Increase the size of the bpf_vlog[] buffer to accommodate larger
logs and prevent false failures during test runs with verbose output.

Signed-off-by: Gregory Bell <grbell@redhat.com>
Link: https://lore.kernel.org/r/e49267100f07f099a5877a3a5fc797b702bbaf0c.1747058195.git.grbell@redhat.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/test_verifier.c

index 2d13e86..27db34e 100644 (file)
@@ -734,7 +734,7 @@ static __u32 btf_raw_types[] = {
        BTF_MEMBER_ENC(71, 13, 128), /* struct prog_test_member __kptr *ptr; */
 };
 
-static char bpf_vlog[UINT_MAX >> 8];
+static char bpf_vlog[UINT_MAX >> 5];
 
 static int load_btf_spec(__u32 *types, int types_len,
                         const char *strings, int strings_len)