diff options
Diffstat (limited to 'gcc/go')
| -rw-r--r-- | gcc/go/ChangeLog | 9 | ||||
| -rw-r--r-- | gcc/go/go-gcc.cc | 7 |
2 files changed, 16 insertions, 0 deletions
diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog index 0a579bd..d75aea9 100644 --- a/gcc/go/ChangeLog +++ b/gcc/go/ChangeLog @@ -1,3 +1,12 @@ +2019-02-05 Nikhil Benesch <nikhil.benesch@gmail.com> + + PR go/89019 + * go-gcc.cc (Gcc_backend::placeholder_struct_type): Mark + placeholder structs as requiring structural equality. + (Gcc_backend::set_placeholder_pointer_type): Propagate the + canonical type from the desired pointer type to the placeholder + pointer type. + 2019-01-09 Ian Lance Taylor <iant@golang.org> PR go/86343 diff --git a/gcc/go/go-gcc.cc b/gcc/go/go-gcc.cc index 7fbdd07..4e9e0e3 100644 --- a/gcc/go/go-gcc.cc +++ b/gcc/go/go-gcc.cc @@ -1049,6 +1049,7 @@ Gcc_backend::set_placeholder_pointer_type(Btype* placeholder, } gcc_assert(TREE_CODE(tt) == POINTER_TYPE); TREE_TYPE(pt) = TREE_TYPE(tt); + TYPE_CANONICAL(pt) = TYPE_CANONICAL(tt); if (TYPE_NAME(pt) != NULL_TREE) { // Build the data structure gcc wants to see for a typedef. @@ -1080,6 +1081,12 @@ Gcc_backend::placeholder_struct_type(const std::string& name, get_identifier_from_string(name), ret); TYPE_NAME(ret) = decl; + + // The struct type that eventually replaces this placeholder will require + // structural equality. The placeholder must too, so that the requirement + // for structural equality propagates to references that are constructed + // before the replacement occurs. + SET_TYPE_STRUCTURAL_EQUALITY(ret); } return this->make_type(ret); } |