Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 13:03:27
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:If an instruction was previously used with particular pointer types, then we* need to be careful to avoid cases such as the below, where it may be ok* for one branch accessing the pointer, but not ok for the other branch:* R1 = sock_ptr* goto X;*

Proto:static bool reg_type_mismatch(enum bpf_reg_type src, enum bpf_reg_type prev)

Type:bool

Parameter:

TypeParameterName
enum bpf_reg_typesrc
enum bpf_reg_typeprev
7732  Return src != prev && ( Not Return true if it's OK to have the same insn return a different type. || Not Return true if it's OK to have the same insn return a different type. )
Caller
NameDescribe
do_check