函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：btf_ptr_resolve

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

返回类型：int

参数：

类型参数名称
struct btf_verifier_env *env
const struct resolve_vertex *v
1771  t等于t
1772  next_type_id等于type
1773  btf等于btf
1775  next_type等于btf_type_by_id(btf, next_type_id)
1776  如果非next_type或Types that act only as a source, not sink or intermediate* type when resolving.则
1777  btf_verifier_log_type(env, t, "Invalid type_id")
1778  返回:负EINVAL
1781  如果非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)
1793  如果btf_type_is_modifier(next_type)则
1797  resolved_type_id等于next_type_id
1798  resolved_type等于The input param "type_id" must point to a needs_resolve type
1800  如果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)
1807  如果非btf_type_id_size(btf, & next_type_id, NULL)则
1808  如果env_type_is_resolved(env, next_type_id)则next_type等于The input param "type_id" must point to a needs_resolve type
1811  如果非btf_type_is_void(next_type)且非btf_type_is_fwd(next_type)且非btf_type_is_func_proto(next_type)则
1814  btf_verifier_log_type(env, t, "Invalid type_id")
1815  返回:负EINVAL
1819  env_stack_pop_resolved(env, next_type_id, 0)
1821  返回:0