diff options
| author | Mykola Lysenko <mykolal@fb.com> | 2022-03-01 14:27:45 -0800 |
|---|---|---|
| committer | Daniel Borkmann <daniel@iogearbox.net> | 2022-03-03 16:54:10 +0100 |
| commit | 7df5072cc05fd1aab5823bbc465d033cd292fca8 (patch) | |
| tree | 96a84bb9fd2aa5849f1721816118bc89e2220cb4 /tools/testing/selftests/bpf/verifier/value_ptr_arith.c | |
| parent | libbpf: Add a check to ensure that page_cnt is non-zero (diff) | |
| download | linux-7df5072cc05fd1aab5823bbc465d033cd292fca8.tar.gz linux-7df5072cc05fd1aab5823bbc465d033cd292fca8.zip | |
bpf: Small BPF verifier log improvements
In particular these include:
1) Remove output of inv for scalars in print_verifier_state
2) Replace inv with scalar in verifier error messages
3) Remove _value suffixes for umin/umax/s32_min/etc (except map_value)
4) Remove output of id=0
5) Remove output of ref_obj_id=0
Signed-off-by: Mykola Lysenko <mykolal@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/bpf/20220301222745.1667206-1-mykolal@fb.com
Diffstat (limited to 'tools/testing/selftests/bpf/verifier/value_ptr_arith.c')
| -rw-r--r-- | tools/testing/selftests/bpf/verifier/value_ptr_arith.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/testing/selftests/bpf/verifier/value_ptr_arith.c b/tools/testing/selftests/bpf/verifier/value_ptr_arith.c index 359f3e8f8b60..249187d3c530 100644 --- a/tools/testing/selftests/bpf/verifier/value_ptr_arith.c +++ b/tools/testing/selftests/bpf/verifier/value_ptr_arith.c @@ -397,7 +397,7 @@ .fixup_map_array_48b = { 1 }, .result = ACCEPT, .result_unpriv = REJECT, - .errstr_unpriv = "R0 invalid mem access 'inv'", + .errstr_unpriv = "R0 invalid mem access 'scalar'", .retval = 0, }, { @@ -1074,7 +1074,7 @@ }, .fixup_map_array_48b = { 3 }, .result = REJECT, - .errstr = "R0 invalid mem access 'inv'", + .errstr = "R0 invalid mem access 'scalar'", .errstr_unpriv = "R0 pointer -= pointer prohibited", }, { |