Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:Return 0 if no propagation happened. Return negative error code if error* happened. Otherwise, return the propagated bit.

Proto:static int propagate_liveness_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg, struct bpf_reg_state *parent_reg)

Type:int

Parameter:

TypeParameterName
struct bpf_verifier_env *env
struct bpf_reg_state *reg
struct bpf_reg_state *parent_reg
7361  parent_flag = live & REG_LIVE_READ
7362  flag = live & REG_LIVE_READ
7369  If parent_flag == likewise, but full 64-bit content matters || Not flag || parent_flag == flag Then Return 0
7376  err = Parentage chain of this register (or stack slot) should take care of all* issues like callee-saved registers, stack slot allocation time, etc.
7377  If err Then Return err
7380  Return flag
Caller
NameDescribe
propagate_livenessA write screens off any subsequent reads; but write marks come from the* straight-line code between a state and its parent