File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -1115,12 +1115,19 @@ using RecGroupInfo = std::vector<HeapType>;
11151115
11161116struct HeapTypeInfo {
11171117 using type_t = HeapType;
1118+ // Used in assertions to ensure that temporary types don't leak into the
1119+ // global store.
11181120 bool isTemp = false ;
11191121 bool isOpen = false ;
11201122 Shareability share = Unshared;
1123+ // The supertype of this HeapType, if it exists.
11211124 HeapTypeInfo* supertype = nullptr ;
1125+ // The descriptor of this HeapType, if it exists.
11221126 HeapTypeInfo* descriptor = nullptr ;
1127+ // The HeapType described by this one, if it exists.
11231128 HeapTypeInfo* described = nullptr ;
1129+ // The recursion group of this type or null if the recursion group is trivial
1130+ // (i.e. contains only this type).
11241131 RecGroupInfo* recGroup = nullptr ;
11251132 size_t recGroupIndex = 0 ;
11261133 HeapTypeKind kind;
Original file line number Diff line number Diff line change @@ -38,6 +38,8 @@ namespace wasm {
3838
3939namespace {
4040
41+ // Helper for finding the equirecursive least upper bound of two types.
42+ // Helper for printing types.
4143struct TypePrinter {
4244 // The stream we are printing to.
4345 std::ostream& os;
You can’t perform that action at this time.
0 commit comments