Re: [PATCH bpf-next v3 0/9] Refactor verifier object relationship tracking

Alexei Starovoitov
2026-04-24T00:55:18Z

On Tue Apr 21, 2026 at 3:10 PM PDT, Amery Hung wrote:
>
> (3) Referenced dynptr with referenced parent:
>
> file (1,1,0)
> ^ ^
> bpf_dynptr_from_file | +-------------------------------+
> | bpf_dynptr_clone(A, C) |
> dynptr A (2,3,1) dynptr C (4,3,1)
> ^ ^
> | |
> dynptr A and C have the same lifetime

If I understand the proposal correctly above should be:

file (1,0,0)
^
bpf_dynptr_from_file +-------------------------------+

ref_obj_id will be inited bpf_dynptr_clone() as 3 into A and C.
but original file->ref_obj_id will be zero.

?