diff options
| author | Cupertino Miranda <[email protected]> | 2024-05-06 14:18:45 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2024-05-07 00:09:11 +0000 |
| commit | 0922c78f592c60e5a8fe6ab968479def124d4ff3 (patch) | |
| tree | c1b1bdf43c77e34bc31a2252067487e259a94e86 /tools/testing/selftests/bpf/prog_tests/autoload.c | |
| parent | bpf/verifier: replace calls to mark_reg_unknown. (diff) | |
| download | kernel-0922c78f592c60e5a8fe6ab968479def124d4ff3.tar.gz kernel-0922c78f592c60e5a8fe6ab968479def124d4ff3.zip | |
bpf/verifier: refactor checks for range computation
Split range computation checks in its own function, isolating pessimitic
range set for dst_reg and failing return to a single point.
Signed-off-by: Cupertino Miranda <[email protected]>
Acked-by: Eduard Zingerman <[email protected]>
Cc: Yonghong Song <[email protected]>
Cc: Alexei Starovoitov <[email protected]>
Cc: David Faust <[email protected]>
Cc: Jose Marchesi <[email protected]>
Cc: Elena Zannoni <[email protected]>
Cc: Andrii Nakryiko <[email protected]>
bpf/verifier: improve code after range computation recent changes.
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'tools/testing/selftests/bpf/prog_tests/autoload.c')
0 files changed, 0 insertions, 0 deletions