Changes in src/GenPoly/InstantiateGeneric.cc [e58dfb9:87c3bef]

File:

• src/GenPoly/InstantiateGeneric.cc (modified) (1 diff)

src/GenPoly/InstantiateGeneric.cc

@@ -226 +226 @@
 
                         if ( (*baseParam)->isComplete() ) {
-                                // substitute parameter for complete (otype or sized dtype) type; makes the struct concrete or dynamic depending on the parameter
-                                out.push_back( paramType->clone() );
+                                // substitute parameter for complete (otype or sized dtype) type
+                                int pointerLevels = 0;
+                                if ( hasPolyBase( paramType->get_type(), &pointerLevels ) && pointerLevels > 0 ) {
+                                        // Make a void* with equivalent nesting
+                                        Type* voidPtr = new VoidType( Type::Qualifiers() );
+                                        while ( pointerLevels > 0 ) {
+                                                // Just about data layout, so qualifiers *shouldn't* matter
+                                                voidPtr = new PointerType( Type::Qualifiers(), voidPtr );
+                                                --pointerLevels;
+                                        }
+                                        out.push_back( new TypeExpr( voidPtr ) );
+                                } else {
+                                        // Just clone parameter type
+                                        out.push_back( paramType->clone() );
+                                }
+                                // make the struct concrete or dynamic depending on the parameter
                                 gt |= isPolyType( paramType->get_type() ) ? genericType::dynamic : genericType::concrete;
                         } else switch ( (*baseParam)->get_kind() ) {