• Andrii Nakryiko's avatar
    bpf: prepare btf_prepare_func_args() for handling static subprogs · e26080d0
    Andrii Nakryiko authored
    Generalize btf_prepare_func_args() to support both global and static
    subprogs. We are going to utilize this property in the next patch,
    reusing btf_prepare_func_args() for subprog call logic instead of
    reparsing BTF information in a completely separate implementation.
    
    btf_prepare_func_args() now detects whether subprog is global or static
    makes slight logic adjustments for static func cases, like not failing
    fatally (-EFAULT) for conditions that are allowable for static subprogs.
    
    Somewhat subtle (but major!) difference is the handling of pointer arguments.
    Both global and static functions need to handle special context
    arguments (which are pointers to predefined type names), but static
    subprogs give up on any other pointers, falling back to marking subprog
    as "unreliable", disabling the use of BTF type information altogether.
    
    For global functions, though, we are assuming that such pointers to
    unrecognized types are just pointers to fixed-sized memory region (or
    error out if size cannot be established, like for `void *` pointers).
    
    This patch accommodates these small differences and sets up a stage for
    refactoring in the next patch, eliminating a separate BTF-based parsing
    logic in btf_check_func_arg_match().
    Acked-by: default avatarEduard Zingerman <eddyz87@gmail.com>
    Signed-off-by: default avatarAndrii Nakryiko <andrii@kernel.org>
    Link: https://lore.kernel.org/r/20231215011334.2307144-4-andrii@kernel.orgSigned-off-by: default avatarAlexei Starovoitov <ast@kernel.org>
    e26080d0
verifier.c 621 KB