kernel/bpf/verifier.c

4397 static bool register_is_null(struct bpf_reg_state *reg)
4577 		if ((reg && register_is_null(reg)) ||
4644 	if ((value_reg && register_is_null(value_reg)) ||
5393 		if (!register_is_null(val_reg) &&
7328 		    register_is_null(reg))
7405 	if (register_is_null(reg))
8609 	if (register_is_null(reg) && type_may_be_null(arg_type))
8649 		} else if (!reg->ref_obj_id && !register_is_null(reg)) {
8717 		if (type_may_be_null(arg_type) && register_is_null(reg))
9415 			if (register_is_null(reg) && type_may_be_null(arg->arg_type))
10153 	bool reg_is_null = register_is_null(reg);
10316 		} else if (register_is_null(&regs[meta.release_regno])) {
10341 		if (!register_is_null(&regs[BPF_REG_2])) {
11130 	if (is_kfunc_arg_nullable(meta->btf, &args[argno]) && register_is_null(reg))
11690 		    (register_is_null(reg) || type_may_be_null(reg->type)) &&
11974 			if (!register_is_null(buff_reg) || !is_kfunc_arg_optional(meta->btf, buff_arg)) {