Changes in src/SymTab/Validate.cc [8a3ecb9:95d09bdb]

File:

• src/SymTab/Validate.cc (modified) (5 diffs)

src/SymTab/Validate.cc

@@ -85 +85 @@
                 void previsit( AlignofExpr * );
                 void previsit( UntypedOffsetofExpr * );
+                void previsit( CompoundLiteralExpr * );
                 void handleType( Type * );
         };
@@ -350 +351 @@
         }
 
+        void HoistTypeDecls::previsit( CompoundLiteralExpr * expr ) {
+                handleType( expr->result );
+        }
+
 
         Type * FixQualifiedTypes::postmutate( QualifiedType * qualType ) {
@@ -363 +368 @@
                                 auto base = td->base;
                                 assert( base );
-                                Type * ret = base->clone();
-                                ret->get_qualifiers() = qualType->get_qualifiers();
-                                return ret;
+                                return base->clone();
                         } else {
                                 // .T => T is not a type name
@@ -385 +388 @@
                                         if ( StructDecl * aggr = dynamic_cast< StructDecl * >( member ) ) {
                                                 if ( aggr->name == inst->name ) {
-                                                        // TODO: is this case, and other non-TypeInstType cases, necessary?
                                                         return new StructInstType( qualType->get_qualifiers(), aggr );
                                                 }
@@ -402 +404 @@
                                         }
                                 } else if ( TypeInstType * inst = dynamic_cast< TypeInstType * >( child ) ) {
-                                        // name on the right is a typedef
+                                        // struct typedefs are being replaced by forward decls too early; move it to hoist struct
                                         if ( NamedTypeDecl * aggr = dynamic_cast< NamedTypeDecl * > ( member ) ) {
                                                 if ( aggr->name == inst->name ) {
                                                         assert( aggr->base );
-                                                        Type * ret = aggr->base->clone();
-                                                        ret->get_qualifiers() = qualType->get_qualifiers();
-                                                        return ret;
+                                                        return aggr->base->clone();
                                                 }
                                         }