Messages in this thread | | | From | Xu Kuohai <> | Subject | [PATCH bpf-next 0/2] update 32-bit bounds when the lower 32-bit value is not wrapping | Date | Tue, 7 Mar 2023 17:04:47 -0500 |
| |
This patchset updates __reg_combine_64_into_32 function to set 32-bit bounds when lower 32-bit value is not wrapping, and add cases to for it.
Xu Kuohai (2): bpf: update 32-bit bounds when the lower 32-bit value is not wrapping selftests/bpf: check bounds not in the 32-bit range
kernel/bpf/verifier.c | 27 ++-- tools/testing/selftests/bpf/verifier/bounds.c | 121 ++++++++++++++++++ 2 files changed, 132 insertions(+), 16 deletions(-)
-- 2.30.2
| |