diff mbox

Go patch committed: Verify pointer's underlying type

Message ID CAOyqgcXOdHf_gyGmfShmwLJrn0MuOTVqCfVL9qUeBn+0DSgxng@mail.gmail.com
State New
Headers show

Commit Message

Ian Lance Taylor Aug. 4, 2015, 11:46 p.m. UTC 
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
diff mbox

Patch

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; }