Changes in / [56fba87:2f84692]

File:

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

src/SymTab/Validate.cc

@@ -368 +368 @@
                                 auto base = td->base;
                                 assert( base );
-                                return base->clone();
+                                Type * ret = base->clone();
+                                ret->get_qualifiers() = qualType->get_qualifiers();
+                                return ret;
                         } else {
                                 // .T => T is not a type name
@@ -388 +390 @@
                                         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 );
                                                 }
@@ -404 +407 @@
                                         }
                                 } else if ( TypeInstType * inst = dynamic_cast< TypeInstType * >( child ) ) {
-                                        // struct typedefs are being replaced by forward decls too early; move it to hoist struct
+                                        // name on the right is a typedef
                                         if ( NamedTypeDecl * aggr = dynamic_cast< NamedTypeDecl * > ( member ) ) {
                                                 if ( aggr->name == inst->name ) {
                                                         assert( aggr->base );
-                                                        return aggr->base->clone();
+                                                        Type * ret = aggr->base->clone();
+                                                        ret->get_qualifiers() = qualType->get_qualifiers();
+                                                        return ret;
                                                 }
                                         }