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

From: "Alexei Starovoitov" <[email-masked]>
Date: Thu, 23 Apr 2026 17:55:16 -0700

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.

?