Re: [PATCH v2 bpf-next 2/4] bpf: Extract nullable reg type conversion into a helper function

[Andrii Nakryiko <andrii.nakryiko@xxxxxxxxx>]

On Mon, Feb 8, 2021 at 10:44 PM Dmitrii Banshchikov <me@xxxxxxxxxxxxx> wrote:
>
> Extract conversion from a register's nullable type to a type with a
> value. The helper will be used in mark_ptr_not_null_reg().
>
> Signed-off-by: Dmitrii Banshchikov <me@xxxxxxxxxxxxx>
> ---

LGMT.

Acked-by: Andrii Nakryiko <andrii@xxxxxxxxxx>

> v1 -> v2:
>  - Simplify logic for is_null case
>  - Add WARN_ON on an uknown nullable register type
>  - Use switch instead of ifs
>
>  kernel/bpf/verifier.c | 83 +++++++++++++++++++++++++++----------------
>  1 file changed, 52 insertions(+), 31 deletions(-)
>

[...]