From: Iain Buclaw Date: Wed, 21 Aug 2019 07:53:05 +0000 (+0000) Subject: d: Fix internal compiler error: in d_init_builtins, at d/d-builtins.cc:1121 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ee3ea4b9061e3bb5e19e9d9c02c273dc2585263;p=gcc.git d: Fix internal compiler error: in d_init_builtins, at d/d-builtins.cc:1121 gcc/d/ChangeLog: PR d/90444 * d-builtins.cc (build_frontend_type): Build anonymous RECORD_TYPE nodes as well, push all fields to the struct members. (d_build_builtins_module): Push anonymous va_list structs to the builtins module, naming them __builtin_va_list. (d_init_builtins): Use sorry instead of gcc_unreachable if va_list did not succeed in being represented as a D type. From-SVN: r274765 --- diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index a4db1facbf8..00845df4de1 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,13 @@ +2019-08-20 Iain Buclaw + + PR d/90444 + * d-builtins.cc (build_frontend_type): Build anonymous RECORD_TYPE + nodes as well, push all fields to the struct members. + (d_build_builtins_module): Push anonymous va_list structs to the + builtins module, naming them __builtin_va_list. + (d_init_builtins): Use sorry instead of gcc_unreachable if va_list did + not succeed in being represented as a D type. + 2019-08-13 Richard Sandiford PR middle-end/91421 diff --git a/gcc/d/d-builtins.cc b/gcc/d/d-builtins.cc index 3ebee721a25..5619ebb1a09 100644 --- a/gcc/d/d-builtins.cc +++ b/gcc/d/d-builtins.cc @@ -213,38 +213,54 @@ build_frontend_type (tree type) break; case RECORD_TYPE: - if (TYPE_NAME (type)) + { + Identifier *ident = TYPE_IDENTIFIER (type) ? + Identifier::idPool (IDENTIFIER_POINTER (TYPE_IDENTIFIER (type))) : NULL; + + /* Neither the `object' and `gcc.builtins' modules will not exist when + this is called. Use a stub 'object' module parent in the meantime. + If `gcc.builtins' is later imported, the parent will be overridden + with the correct module symbol. */ + static Identifier *object = Identifier::idPool ("object"); + static Module *stubmod = Module::create ("object.d", object, 0, 0); + + StructDeclaration *sdecl = StructDeclaration::create (Loc (), ident, + false); + sdecl->parent = stubmod; + sdecl->structsize = int_size_in_bytes (type); + sdecl->alignsize = TYPE_ALIGN_UNIT (type); + sdecl->alignment = STRUCTALIGN_DEFAULT; + sdecl->sizeok = SIZEOKdone; + sdecl->type = (TypeStruct::create (sdecl))->addMod (mod); + sdecl->type->ctype = type; + sdecl->type->merge2 (); + + sdecl->members = new Dsymbols; + + for (tree field = TYPE_FIELDS (type); field; field = DECL_CHAIN (field)) { - tree structname = DECL_NAME (TYPE_NAME (type)); - Identifier *ident - = Identifier::idPool (IDENTIFIER_POINTER (structname)); - - /* Neither the `object' and `gcc.builtins' modules will not exist when - this is called. Use a stub 'object' module parent in the meantime. - If `gcc.builtins' is later imported, the parent will be overridden - with the correct module symbol. */ - static Identifier *object = Identifier::idPool ("object"); - static Module *stubmod = Module::create ("object.d", object, 0, 0); - - StructDeclaration *sdecl = StructDeclaration::create (Loc (), ident, - false); - sdecl->parent = stubmod; - sdecl->structsize = int_size_in_bytes (type); - sdecl->alignsize = TYPE_ALIGN_UNIT (type); - sdecl->alignment = STRUCTALIGN_DEFAULT; - sdecl->sizeok = SIZEOKdone; - sdecl->type = (TypeStruct::create (sdecl))->addMod (mod); - sdecl->type->ctype = type; - sdecl->type->merge2 (); - - /* Does not seem necessary to convert fields, but the members field - must be non-null for the above size setting to stick. */ - sdecl->members = new Dsymbols; - dtype = sdecl->type; - builtin_converted_decls.safe_push (builtin_data (dtype, type, sdecl)); - return dtype; + Type *ftype = build_frontend_type (TREE_TYPE (field)); + if (!ftype) + { + delete sdecl->members; + return NULL; + } + + Identifier *fident + = Identifier::idPool (IDENTIFIER_POINTER (DECL_NAME (field))); + VarDeclaration *vd = VarDeclaration::create (Loc (), ftype, fident, + NULL); + vd->offset = tree_to_uhwi (DECL_FIELD_OFFSET (field)); + vd->semanticRun = PASSsemanticdone; + vd->csym = field; + sdecl->members->push (vd); + sdecl->fields.push (vd); } - break; + + dtype = sdecl->type; + builtin_converted_decls.safe_push (builtin_data (dtype, type, sdecl)); + return dtype; + } case FUNCTION_TYPE: dtype = build_frontend_type (TREE_TYPE (type)); @@ -561,7 +577,7 @@ d_build_builtins_module (Module *m) /* Currently, there is no need to run semantic, but we do want to output initializers, typeinfo, and others on demand. */ Dsymbol *dsym = builtin_converted_decls[i].dsym; - if (dsym != NULL) + if (dsym != NULL && !dsym->isAnonymous ()) { dsym->parent = m; members->push (dsym); @@ -569,7 +585,18 @@ d_build_builtins_module (Module *m) } /* va_list should already be built, so no need to convert to D type again. */ - members->push (build_alias_declaration ("__builtin_va_list", Type::tvalist)); + StructDeclaration *sd = (Type::tvalist->ty == Tstruct) + ? ((TypeStruct *) Type::tvalist)->sym : NULL; + if (sd == NULL || !sd->isAnonymous ()) + { + members->push (build_alias_declaration ("__builtin_va_list", + Type::tvalist)); + } + else + { + sd->ident = Identifier::idPool ("__builtin_va_list"); + members->push (sd); + } /* Expose target-specific integer types to the builtins module. */ { @@ -1116,10 +1143,7 @@ d_init_builtins (void) /* Build the "standard" abi va_list. */ Type::tvalist = build_frontend_type (va_list_type_node); if (!Type::tvalist) - { - error ("cannot represent built-in % type in D"); - gcc_unreachable (); - } + sorry ("cannot represent built-in % type in D"); /* Map the va_list type to the D frontend Type. This is to prevent both errors in gimplification or an ICE in targetm.canonical_va_list_type. */