函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-27 14:17:14
Last Modify:2022-05-19 20:02:10 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：If in the old state two registers had the same id, then they need to have* the same id in the new state as well

函数原型：static bool check_ids(u32 old_id, u32 cur_id, struct idpair *idmap)

返回类型：bool

参数：

类型参数名称
u32old_id
u32cur_id
struct idpair *idmap
6969  以i小于Maximum number of register states that can exist at once 循环
6970  如果非old则
6972  old等于old_id
6973  cur等于cur_id
6974  返回:true
6976  如果old恒等于old_id则返回:cur恒等于cur_id
6980  WARN_ON_ONCE(1)
6981  返回:false
调用者
名称描述
regsafeReturns true if (rold safe implies rcur safe)