函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\btf.c Create Date:2022-07-27 14:35:45
Last Modify:2020-03-12 14:18:49 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：btf_var_resolve

函数原型：static int btf_var_resolve(struct btf_verifier_env *env, const struct resolve_vertex *v)

返回类型：int

参数：

类型参数名称
struct btf_verifier_env *env
const struct resolve_vertex *v
1725  t等于t
1726  next_type_id等于type
1727  btf等于btf
1729  next_type等于btf_type_by_id(btf, next_type_id)
1730  如果非next_type或Types that act only as a source, not sink or intermediate* type when resolving.则
1731  btf_verifier_log_type(env, t, "Invalid type_id")
1732  返回:负EINVAL
1735  如果非env_type_is_resolve_sink(env, next_type)且非env_type_is_resolved(env, next_type_id)则返回:env_stack_push(env, next_type, next_type_id)
1739  如果btf_type_is_modifier(next_type)则
1743  resolved_type_id等于next_type_id
1744  resolved_type等于The input param "type_id" must point to a needs_resolve type
1746  如果btf_type_is_ptr(resolved_type)且非env_type_is_resolve_sink(env, resolved_type)且非env_type_is_resolved(env, resolved_type_id)则返回:env_stack_push(env, resolved_type, resolved_type_id)
1757  如果非btf_type_id_size(btf, & next_type_id, NULL)则
1758  btf_verifier_log_type(env, t, "Invalid type_id")
1759  返回:负EINVAL
1762  env_stack_pop_resolved(env, next_type_id, 0)
1764  返回:0