On Thu, 2025-08-28 at 14:15 +0000, Anton Protopopov wrote: [...] > So, insn_successors() actually returns two values: a pointer and a > number elements. This is the same value as "struct bpf_jt" (struct jt > in the sent patch). Wdyt about > > struct bpf_jt *insn_successors(struct bpf_verifier_env *env, u32 insn_idx) > > ? (Maybe bpf_jt is not right name here, "insn_array" is already used > in the map, maybe smth with "successors"?) Yes, that's an option. It can also be returned by value, if that would be convenient.