On Wed, Jul 3, 2024 at 3:16 AM Totoro W <tw19881113@xxxxxxxxx> wrote: > > More background about Zig. The reason that a structure name is like a > function call is due to Zig's comptime feature. > The actual type could be generated in the compilation time and Zig > toolchain will evaluate them during that time. > So, first of all, I'm not sure whether the BPF verifier being so strict about BTF names is necessary, but I haven't thought a lot about that. Just pointing out I myself wouldn't object lifting any kind of restriction there, in principle. But then for the Zig naming thing. Doesn't Zig have some sort of mangling schema, like C++ or Rust do? Would it make sense to store mangled names in BTF then?