Changes in src/ResolvExpr/Resolver.cc [eeaea53:1d2b64f]

File:

• src/ResolvExpr/Resolver.cc (modified) (3 diffs)

src/ResolvExpr/Resolver.cc

@@ -404 +404 @@
         template< typename AggrInst >
         TypeSubstitution makeGenericSubstitutuion( AggrInst * inst ) {
-                assert( inst );
-                assert( inst->get_baseParameters() );
                 std::list< TypeDecl * > baseParams = *inst->get_baseParameters();
                 std::list< Expression * > typeSubs = inst->get_parameters();
@@ -446 +444 @@
 
         void Resolver::resolveAggrInit( ReferenceToType * inst, InitIterator & init, InitIterator & initEnd ) {
+
                 if ( StructInstType * sit = dynamic_cast< StructInstType * >( inst ) ) {
                         TypeSubstitution sub = makeGenericSubstitutuion( sit );
                         StructDecl * st = sit->get_baseStruct();
-                        if(st->get_members().empty()) return;
                         // want to resolve each initializer to the members of the struct,
                         // but if there are more initializers than members we should stop
@@ -457 +455 @@
                         }
                 } else if ( UnionInstType * uit = dynamic_cast< UnionInstType * >( inst ) ) {
-                        TypeSubstitution sub = makeGenericSubstitutuion( uit );
+                        TypeSubstitution sub = makeGenericSubstitutuion( sit );
                         UnionDecl * un = uit->get_baseUnion();
-                        if(un->get_members().empty()) return;
                         // only resolve to the first member of a union
                         resolveSingleAggrInit( *un->get_members().begin(), init, initEnd, sub );