bpf: enforce precise retval range on program exit

Browse source

Similarly to subprog/callback logic, enforce return value of BPF program
using more precise smin/smax range.

We need to adjust a bunch of tests due to a changed format of an error
message.

Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Acked-by: Shung-Hsi Yu <shung-hsi.yu@suse.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20231202175705.885270-7-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

...

This commit is contained in:

Andrii Nakryiko 2023-12-02 09:57:00 -08:00 • committed by Alexei Starovoitov

parent 60a6b2c78c

commit c871d0e00f

9 changed files with 40 additions and 38 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

56

kernel/bpf/verifier.c

View file

2

tools/testing/selftests/bpf/progs/exceptions_assert.c

View file

2

tools/testing/selftests/bpf/progs/exceptions_fail.c

View file

2

tools/testing/selftests/bpf/progs/test_global_func15.c

View file

2

tools/testing/selftests/bpf/progs/timer_failure.c

View file

2

tools/testing/selftests/bpf/progs/user_ringbuf_fail.c

View file

8

tools/testing/selftests/bpf/progs/verifier_cgroup_inv_retcode.c

View file

2

tools/testing/selftests/bpf/progs/verifier_netfilter_retcode.c

View file

2

tools/testing/selftests/bpf/progs/verifier_subprog_precision.c

View file