Changeset 6fc5c14 for src/SymTab/Autogen.cc

Timestamp:

Oct 19, 2017, 11:15:35 AM (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:

ab4bff5

Parents:

447c356

git-author:

Rob Schluntz <rschlunt@…> (10/17/17 10:26:33)

git-committer:

Rob Schluntz <rschlunt@…> (10/19/17 11:15:35)

Message:

Skip non-constructable types during autogen

File:

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

src/SymTab/Autogen.cc

@@ -379 +379 @@
                                 // don't make a function whose parameter is an unnamed bitfield
                                 continue;
+                        } else if ( ! InitTweak::isConstructable( field->get_type() ) ) {
+                                continue;
                         }
                         memCtorType->parameters.push_back( new ObjectDecl( field->name, Type::StorageClasses(), LinkageSpec::Cforall, 0, field->get_type()->clone(), 0 ) );
@@ -407 +409 @@
                                 }
 
-                                if ( type->get_const() && func->get_name() == "?=?" ) {
+                                if ( type->get_const() && CodeGen::isAssignment( func->name ) ) {
                                         // don't assign const members, but do construct/destruct
+                                        continue;
+                                } else if ( CodeGen::isCtorDtor( func->name ) && ! InitTweak::isConstructable( type ) ) {
+                                        // don't construct non-constructable types
                                         continue;
                                 }
@@ -441 +446 @@
                                 if ( isUnnamedBitfield( dynamic_cast< ObjectDecl * > ( field ) ) ) {
                                         // don't make a function whose parameter is an unnamed bitfield
+                                        continue;
+                                } else if ( ! InitTweak::isConstructable( field->get_type() ) ) {
+                                        // don't construct non-constructable types
                                         continue;
                                 } else if ( parameter != params.end() ) {