diff options
| author | Cupertino Miranda <[email protected]> | 2024-05-06 14:18:46 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2024-05-07 00:09:11 +0000 |
| commit | 138cc42c05d11fd5ee82ee1606d2c9823373a926 (patch) | |
| tree | 383933f497a27b1046f720057b979d727e0d0516 /tools/testing/selftests/bpf/prog_tests/access_variable_array.c | |
| parent | bpf/verifier: refactor checks for range computation (diff) | |
| download | kernel-138cc42c05d11fd5ee82ee1606d2c9823373a926.tar.gz kernel-138cc42c05d11fd5ee82ee1606d2c9823373a926.zip | |
bpf/verifier: improve XOR and OR range computation
Range for XOR and OR operators would not be attempted unless src_reg
would resolve to a single value, i.e. a known constant value.
This condition is unnecessary, and the following XOR/OR operator
handling could compute a possible better range.
Acked-by: Eduard Zingerman <[email protected]>
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]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'tools/testing/selftests/bpf/prog_tests/access_variable_array.c')
0 files changed, 0 insertions, 0 deletions