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