[bpf-next PATCH 00/10] ALU32 bounds tracking support · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
[bpf-next PATCH 01/10] bpf: verifier, do_refine_retval_range may clamp umin to 0 incorrectly · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
[bpf-next PATCH 02/10] bpf: verifer, refactor adjust_scalar_min_max_vals · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
Re: [bpf-next PATCH 02/10] bpf: verifer, refactor adjust_scalar_min_max_vals · Alexei Starovoitov <hidden> · 2020-03-26
[bpf-next PATCH 03/10] bpf: verifer, adjust_scalar_min_max_vals to always call update_reg_bounds() · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
[bpf-next PATCH 04/10] bpf: verifier, do explicit ALU32 bounds tracking · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
Re: [bpf-next PATCH 04/10] bpf: verifier, do explicit ALU32 bounds tracking · Alexei Starovoitov <hidden> · 2020-03-26
Re: [bpf-next PATCH 04/10] bpf: verifier, do explicit ALU32 bounds tracking · John Fastabend <john.fastabend@gmail.com> · 2020-03-26
[bpf-next PATCH 05/10] bpf: verifier, return value is an int in do_refine_retval_range · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
Re: [bpf-next PATCH 05/10] bpf: verifier, return value is an int in do_refine_retval_range · Alexei Starovoitov <hidden> · 2020-03-26
Re: [bpf-next PATCH 05/10] bpf: verifier, return value is an int in do_refine_retval_range · John Fastabend <john.fastabend@gmail.com> · 2020-03-26
[bpf-next PATCH 06/10] bpf: test_progs, add test to catch retval refine error handling · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
[bpf-next PATCH 07/10] bpf: test_verifier, bpf_get_stack return value add <0 · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
Re: [bpf-next PATCH 07/10] bpf: test_verifier, bpf_get_stack return value add <0 · Alexei Starovoitov <hidden> · 2020-03-26
Re: [bpf-next PATCH 07/10] bpf: test_verifier, bpf_get_stack return value add <0 · John Fastabend <john.fastabend@gmail.com> · 2020-03-26
[bpf-next PATCH 08/10] bpf: test_verifier, #70 error message updates for 32-bit right shift · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
[bpf-next PATCH 09/10] bpf: test_verifier, #65 error message updates for trunc of boundary-cross · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
[bpf-next PATCH 10/10] bpf: test_verifier, add alu32 bounds tracking tests · John Fastabend <john.fastabend@gmail.com> · 2020-03-24
Re: [bpf-next PATCH 10/10] bpf: test_verifier, add alu32 bounds tracking tests · Alexei Starovoitov <hidden> · 2020-03-26

Re: [bpf-next PATCH 02/10] bpf: verifer, refactor adjust_scalar_min_max_vals

From: Alexei Starovoitov <hidden>
Date: 2020-03-26 06:10:29
Also in: bpf

On Tue, Mar 24, 2020 at 10:38:15AM -0700, John Fastabend wrote:

Pull per op ALU logic into individual functions. We are about to add
u32 versions of each of these by pull them out the code gets a bit
more readable here and nicer in the next patch.

Signed-off-by: John Fastabend <john.fastabend@gmail.com>

Great stuff!
I've applied this patch 2.
Then patch 3 and patch 8.

The other patches need a bit more work will reply there.

`h`	back out one level
`j`	next message in thread
`k`	previous message in thread
`l`	drill in
`Esc`	close help / fold thread tree
`?`	toggle this help