[PATCH bpf-next 0/3] Fix __reg_bound_offset32 handling

[Daniel Borkmann <daniel@xxxxxxxxxxxxx>]

Fix for the verifier's __reg_bound_offset32() handling, please see individual
patches for details.

Thanks!

Daniel Borkmann (1):
  bpf: Undo incorrect __reg_bound_offset32 handling

Jann Horn (2):
  bpf: Fix tnum constraints for 32-bit comparisons
  bpf: Simplify reg_set_min_max_inv handling

 kernel/bpf/verifier.c | 227 +++++++++++++++++-------------------------
 1 file changed, 90 insertions(+), 137 deletions(-)

-- 
2.20.1