Should BPF_MAP_TYPE_PROG_ARRAY map be allowed as inner map type in eBPF for Windows?

[shpalani]

Describe the bug

Request: In BPF_MAP_TYPE_HASH_OF_MAPS and BPF_MAP_TYPE_ARRAY_OF_MAPS, bpf2c should not allow

• Inner map to be BPF_MAP_TYPE_PROG_ARRAY.

Compatibility with Linux eBPF:
As per Linux doc https://docs.kernel.org/bpf/map_of_maps.html

• Any BPF map type can be used as an inner map, except for BPF_MAP_TYPE_PROG_ARRAY.

---

Currently, ebpf-for-windows does allow inner map to be BPF_MAP_TYPE_PROG_ARRAY.

Passed test case in ebpf-for-windows/tests/sample/tail_call_map.c

Outer map: BPF_MAP_TYPE_ARRAY_OF_MAPS
Inner map: BPF_MAP_TYPE_PROG_ARRAY

OS information

Windows 10 and above

Steps taken to reproduce bug

Refer to the test case in ebpf-for-windows/tests/sample/tail_call_map.c

Expected behavior

bpf2c should error if the Inner map is of type BPF_MAP_TYPE_PROG_ARRAY

Actual outcome

bpf2c currently supports inner map of type BPF_MAP_TYPE_PROG_ARRAY.

Additional details

No response

[shpalani]

From ebpf slack.io: https://cilium.slack.com/archives/C4XCTGYEM/p1697489292050229