Changeset 4c8621ac for src/Tuples/TupleExpansion.cc

Timestamp:

Dec 22, 2016, 4:07:58 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

1e3d5b6

Parents:

907eccb

Message:

allow construction, destruction, and assignment for empty tuples, allow matching a ttype parameter with an empty tuple, fix specialization to work with empty tuples and void functions

File:

• src/Tuples/TupleExpansion.cc (modified) (1 diff)

src/Tuples/TupleExpansion.cc

@@ -225 +225 @@
                                 decl->get_parameters().push_back( tyParam );
                         }
+                        if ( tupleType->size() == 0 ) {
+                                // empty structs are not standard C. Add a dummy field to empty tuples to silence warnings when a compound literal Tuple0 is created.
+                                decl->get_members().push_back( new ObjectDecl( "dummy", DeclarationNode::NoStorageClass, LinkageSpec::C, nullptr, new BasicType( Type::Qualifiers(), BasicType::SignedInt ), nullptr ) );
+                        }
                         typeMap[mangleName] = decl;
                         addDeclaration( decl );