kernel/bpf/verifier.c

10021

if (type_may_be_null(arg_type) && register_is_null(reg))

kernel/bpf/verifier.c

10765

if (register_is_null(reg) && type_may_be_null(arg->arg_type))

kernel/bpf/verifier.c

11988

if (!type_may_be_null(ret_flag) &&

kernel/bpf/verifier.c

12089

if (type_may_be_null(regs[BPF_REG_0].type))

kernel/bpf/verifier.c

13451

if ((register_is_null(reg) || type_may_be_null(reg->type)) &&

kernel/bpf/verifier.c

17198

if (type_may_be_null(reg->type) && reg->id == id &&

kernel/bpf/verifier.c

17692

type_may_be_null(src_reg->type) != type_may_be_null(dst_reg->type) &&

kernel/bpf/verifier.c

17708

if (type_may_be_null(src_reg->type))

kernel/bpf/verifier.c

17721

type_may_be_null(dst_reg->type)) {

kernel/bpf/verifier.c

2955

if (type_may_be_null(flag))

kernel/bpf/verifier.c

411

if (type_may_be_null(type))

kernel/bpf/verifier.c

7489

} else if (in_rcu_cs(env) && !type_may_be_null(reg->type)) {

kernel/bpf/verifier.c

7790

if (type_may_be_null(reg->type)) {

kernel/bpf/verifier.c

7855

if (type_may_be_null(info.reg_type))

kernel/bpf/verifier.c

7923

!type_may_be_null(reg->type)) {

kernel/bpf/verifier.c

7930

!type_may_be_null(reg->type)) {

kernel/bpf/verifier.c

8502

bool may_be_null = type_may_be_null(reg->type);

kernel/bpf/verifier.c

8531

bool may_be_null = type_may_be_null(mem_reg->type);

kernel/bpf/verifier.c

9530

if (type_may_be_null(reg->type) &&

kernel/bpf/verifier.c

9531

(!type_may_be_null(arg_type) || arg_type_is_release(arg_type))) {

kernel/bpf/verifier.c

9902

if (register_is_null(reg) && type_may_be_null(arg_type))

net/bpf/bpf_dummy_struct_ops.c

118

if (info && type_may_be_null(info->reg_type))