diff options
author | Ian Lance Taylor <ian@gcc.gnu.org> | 2017-08-02 16:27:17 +0000 |
---|---|---|
committer | Ian Lance Taylor <ian@gcc.gnu.org> | 2017-08-02 16:27:17 +0000 |
commit | f12e8c3f66aa688af9dc5e5a185b6f238aee7926 (patch) | |
tree | eb35b7e42661e0fd9a8672831a9fa0bd347f3afc | |
parent | 893e8f7d87a6ace9a8bdedb5d18aab1f44fb11ca (diff) | |
download | gcc-f12e8c3f66aa688af9dc5e5a185b6f238aee7926.zip gcc-f12e8c3f66aa688af9dc5e5a185b6f238aee7926.tar.gz gcc-f12e8c3f66aa688af9dc5e5a185b6f238aee7926.tar.bz2 |
compiler: only finalize embedded fields before finalizing methods
When finalizing the methods of a named struct type, we used to
finalize all the field types first. That can fail if the field types
refer indirectly to the named type. Change it to just finalize the
embedded field types first, and the rest of the fields later.
Fixes golang/go#21253
Reviewed-on: https://go-review.googlesource.com/52570
From-SVN: r250832
-rw-r--r-- | gcc/go/gofrontend/MERGE | 2 | ||||
-rw-r--r-- | gcc/go/gofrontend/gogo.cc | 41 |
2 files changed, 35 insertions, 8 deletions
diff --git a/gcc/go/gofrontend/MERGE b/gcc/go/gofrontend/MERGE index 685cff9..7c96176 100644 --- a/gcc/go/gofrontend/MERGE +++ b/gcc/go/gofrontend/MERGE @@ -1,4 +1,4 @@ -f7c36b27a49131f60eedde260896d310d735d408 +c1ac6bc99f988633c6bc68a5ca9ffad3487750ef The first line of this file holds the git revision number of the last merge done from the gofrontend repository. diff --git a/gcc/go/gofrontend/gogo.cc b/gcc/go/gofrontend/gogo.cc index ca4b454..5dbe29d 100644 --- a/gcc/go/gofrontend/gogo.cc +++ b/gcc/go/gofrontend/gogo.cc @@ -3058,26 +3058,53 @@ Finalize_methods::type(Type* t) case Type::TYPE_NAMED: { - // We have to finalize the methods of the real type first. - // But if the real type is a struct type, then we only want to - // finalize the methods of the field types, not of the struct - // type itself. We don't want to add methods to the struct, - // since it has a name. Named_type* nt = t->named_type(); Type* rt = nt->real_type(); if (rt->classification() != Type::TYPE_STRUCT) { + // Finalize the methods of the real type first. if (Type::traverse(rt, this) == TRAVERSE_EXIT) return TRAVERSE_EXIT; + + // Finalize the methods of this type. + nt->finalize_methods(this->gogo_); } else { + // We don't want to finalize the methods of a named struct + // type, as the methods should be attached to the named + // type, not the struct type. We just want to finalize + // the field types. + // + // It is possible that a field type refers indirectly to + // this type, such as via a field with function type with + // an argument or result whose type is this type. To + // avoid the cycle, first finalize the methods of any + // embedded types, which are the only types we need to + // know to finalize the methods of this type. + const Struct_field_list* fields = rt->struct_type()->fields(); + if (fields != NULL) + { + for (Struct_field_list::const_iterator pf = fields->begin(); + pf != fields->end(); + ++pf) + { + if (pf->is_anonymous()) + { + if (Type::traverse(pf->type(), this) == TRAVERSE_EXIT) + return TRAVERSE_EXIT; + } + } + } + + // Finalize the methods of this type. + nt->finalize_methods(this->gogo_); + + // Finalize all the struct fields. if (rt->struct_type()->traverse_field_types(this) == TRAVERSE_EXIT) return TRAVERSE_EXIT; } - nt->finalize_methods(this->gogo_); - // If this type is defined in a different package, then finalize the // types of all the methods, since we won't see them otherwise. if (nt->named_object()->package() != NULL && nt->has_any_methods()) |