On Tue, Mar 21, 2023 at 01:38:52PM -0700, Alexei Starovoitov wrote: > From: Alexei Starovoitov <ast@xxxxxxxxxx> > > Teach the verifier to recognize PTR_TO_MEM | MEM_RDONLY as not NULL > otherwise if (!bpf_ksym_exists(known_kfunc)) doesn't go through > dead code elimination. > > Signed-off-by: Alexei Starovoitov <ast@xxxxxxxxxx> Acked-by: David Vernet <void@xxxxxxxxxxxxx>
