Kees> Does DWARF have such an annotation? Regardless, I think this could be a Kees> future patch to not hold up landing the initial feature.
Sure, the compiler can emit the array length (and structure size) as a DWARF expression using the length. Tom