On Fri, Feb 12, 2021 at 12:57 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> > --- Acked-by: Andrii Nakryiko <andrii@xxxxxxxxxx> > kernel/bpf/verifier.c | 83 +++++++++++++++++++++++++++---------------- > 1 file changed, 52 insertions(+), 31 deletions(-) > [...]