In tail call scenario, netsh ebpf show verif command to verify all sections.

[shpalani]

Describe the feature you'd like supported

Currently, in a tail call scenario with more than one section, the netsh command for show verification only verifies the first section.
The user has to do 'netsh ebpf show sections' and then provide each section to the netsh ebpf show verification command to verify all sections.
netsh ebpf show verification program.o section=xx type=yy verbose

The request is to verify all sections, as default.

Proposed solution

The request is to verify all sections, as default.

netsh ebpf show verification program.o

Additional context

No response

[shpalani]

Suggestion:
netsh ebpf show verification .o type=xdp can internally get all the sections (non-bpf2bpf), iterate through each section, verify and display the result.
For e.g,
netsh ebpf show ver bpf_xdp.o type=xdp verbose
section 2/16: Verification succeeded
section 2/18: Verification failed
..Verification error..
section 2/17: Verification succeeded.

[Alan-Jowett]

@dthaler libbpf uses the following heuristic to differentiate sub-programs:
https://github.com/libbpf/libbpf/blob/caa17bdcbfc58e68eaf4d017c058e6577606bf56/src/libbpf.c#L4390C1-L4393C2