This patch from Chris Manghane ensures that when verifying a pointer type, we verify the underlying type. This fixes https://golang.org/issue/11547 . Bootstrapped and ran Go testsuite on x86_64-unknown-linux-gnu. Committed to mainline.
Ian
Index: gcc/go/gofrontend/MERGE =================================================================== --- gcc/go/gofrontend/MERGE (revision 226596) +++ gcc/go/gofrontend/MERGE (working copy) @@ -1,4 +1,4 @@ -df080adb06f0e423820f3f6b9604b0c1093ff20a +6fb7c3509a4eda7d2403900981b53029d6727037 The first line of this file holds the git revision number of the last merge done from the gofrontend repository. Index: gcc/go/gofrontend/types.h =================================================================== --- gcc/go/gofrontend/types.h (revision 226510) +++ gcc/go/gofrontend/types.h (working copy) @@ -2033,6 +2033,10 @@ class Pointer_type : public Type do_traverse(Traverse*); bool + do_verify() + { return this->to_type_->verify(); } + + bool do_has_pointer() const { return true; }