函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\trace\trace_events_filter.c Create Date:2022-07-27 13:31:30
Last Modify:2022-05-22 20:19:57 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：pdate_preds- assign a program entry a label target*@prog: The program array*@N: The index of the current entry in @prog*@when_to_branch: What to assign a program entry for its branch condition* The program entry at @N has a target that points to the index

函数原型：static void update_preds(struct prog_entry *prog, int N, int invert)

返回类型：void

参数：

类型参数名称
struct prog_entry *prog
intN
intinvert
121  t等于target
122  s等于target
123  when_to_branch等于invert
124  target等于N
125  target等于s
调用者
名称描述
predicate_parseWithout going into a formal proof, this explains the method that is used in* parsing the logical expressions