I was able to cause an abort with this script when it's triggered:

uprobe:./tests/testprogs/uprobe_test_cxx:cpp:uprobeFunction1 { print(args.foo) }

This change could do with some semantic analyser unit tests as well, to confirm the AST transformation occurs as expected.

I only have one suggestion on functionality: it'd seem better to me to store the fields of structs in order of their offsets, even when they're inherited fields from parents.

e.g. for these types:

struct Base {
  int baseMember;
};
struct Child : public Base {
  int childMember;
};

Printing a Child type would currently display:

{ .childMember = 123, .baseMember = 456 }

But should probably display this instead:

{ .baseMember = 456, .childMember = 123 }

I'm imagining that this'll be an easy fix, but feel free to open up an issue and deal with it at a later date if not.

Nice!

LGTM, great work!