diff options
| author | Alexei Starovoitov <[email protected]> | 2024-05-07 00:09:12 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2024-05-07 00:09:20 +0000 |
| commit | 329a6720a3ebbc041983b267981ab2cac102de93 (patch) | |
| tree | d5c433c0d9cf68d1e208cc06512d49f00d9e3a33 /tools/testing/selftests/bpf/prog_tests/autoload.c | |
| parent | bpftool, selftests/hid/bpf: Fix 29 clang warnings (diff) | |
| parent | selftests/bpf: MUL range computation tests. (diff) | |
| download | kernel-329a6720a3ebbc041983b267981ab2cac102de93.tar.gz kernel-329a6720a3ebbc041983b267981ab2cac102de93.zip | |
Merge branch 'bpf-verifier-range-computation-improvements'
Cupertino Miranda says:
====================
bpf/verifier: range computation improvements
Hi everyone,
This is what I hope to be the last version. :)
Regards,
Cupertino
Changes from v1:
- Reordered patches in the series.
- Fix refactor to be acurate with original code.
- Fixed other mentioned small problems.
Changes from v2:
- Added a patch to replace mark_reg_unknowon for __mark_reg_unknown in
the context of range computation.
- Reverted implementation of refactor to v1 which used a simpler
boolean return value in check function.
- Further relaxed MUL to allow it to still compute a range when neither
of its registers is a known value.
- Simplified tests based on Eduards example.
- Added messages in selftest commits.
Changes from v3:
- Improved commit message of patch nr 1.
- Coding style fixes.
- Improve XOR and OR tests.
- Made function calls to pass struct bpf_reg_state pointer instead.
- Improved final code as a last patch.
Changes from v4:
- Merged patch nr 7 in 2.
====================
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