kernel/bpf/verifier.c

10456

if (!type_may_be_null(ret_flag) &&

kernel/bpf/verifier.c

10557

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

kernel/bpf/verifier.c

12052

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

kernel/bpf/verifier.c

15671

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

kernel/bpf/verifier.c

16132

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

kernel/bpf/verifier.c

16148

if (type_may_be_null(src_reg->type))

kernel/bpf/verifier.c

16162

type_may_be_null(dst_reg->type) &&

kernel/bpf/verifier.c

2217

if (type_may_be_null(flag))

kernel/bpf/verifier.c

366

if (type_may_be_null(type))

kernel/bpf/verifier.c

5850

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

kernel/bpf/verifier.c

6163

if (type_may_be_null(reg->type)) {

kernel/bpf/verifier.c

6234

if (type_may_be_null(info.reg_type) && !regs[value_regno].id)

kernel/bpf/verifier.c

6291

!type_may_be_null(reg->type)) {

kernel/bpf/verifier.c

6298

!type_may_be_null(reg->type)) {

kernel/bpf/verifier.c

6891

bool may_be_null = type_may_be_null(reg->type);

kernel/bpf/verifier.c

6927

bool may_be_null = type_may_be_null(mem_reg->type);

kernel/bpf/verifier.c

7918

if (type_may_be_null(reg->type) &&

kernel/bpf/verifier.c

7919

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

kernel/bpf/verifier.c

8253

if (bpf_register_is_null(reg) && type_may_be_null(arg_type))

kernel/bpf/verifier.c

8340

if (type_may_be_null(arg_type) && bpf_register_is_null(reg))

kernel/bpf/verifier.c

9193

(type_may_be_null(reg->type) || bpf_register_is_null(reg))) {

kernel/bpf/verifier.c

9223

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

net/bpf/bpf_dummy_struct_ops.c

118

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