https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120739
--- Comment #3 from Bruce McCulloch <bruce.mcculloch at oracle dot com> --- There is no spec for this behavior. After speaking with BPF maintainers at the BPF office hours, it was decided that emitting as an array type is appropriate for BTF as well as the upcoming CTFv4, with the BTF kind_flag member set to denote that this is not a vanilla array. As for the current CTF (CTFv3), a vanilla array output will suffice as there is no available member flag. This was decided after conversation with Nick Alcock and Indu Bhagat (the reviewer).
