From: ian <ian@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 7 Jun 2012 05:49:54 +0000 (+0000)
Subject: compiler: Fix unsafe.Sizeof for named structs with named struct fields.
X-Git-Url: http://git.sourceforge.jp/view?p=pf3gnuchains%2Fgcc-fork.git;a=commitdiff_plain;h=97a7fa14b1bcdf0f51778ecb0186f4b32f7d7d1f

compiler: Fix unsafe.Sizeof for named structs with named struct fields.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@188296 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/go/gofrontend/types.cc b/gcc/go/gofrontend/types.cc
index 3f6e97a3f28..c2e5ed8b9ed 100644
--- a/gcc/go/gofrontend/types.cc
+++ b/gcc/go/gofrontend/types.cc
@@ -7863,6 +7863,10 @@ Find_type_use::type(Type* type)
 bool
 Named_type::do_verify()
 {
+  if (this->is_verified_)
+    return true;
+  this->is_verified_ = true;
+
   Find_type_use find(this);
   Type::traverse(this->type_, &find);
   if (find.found())
@@ -7973,6 +7977,11 @@ Named_type::convert(Gogo* gogo)
 
   this->create_placeholder(gogo);
 
+  // If we are called to turn unsafe.Sizeof into a constant, we may
+  // not have verified the type yet.  We have to make sure it is
+  // verified, since that sets the list of dependencies.
+  this->verify();
+
   // Convert all the dependencies.  If they refer indirectly back to
   // this type, they will pick up the intermediate tree we just
   // created.
diff --git a/gcc/go/gofrontend/types.h b/gcc/go/gofrontend/types.h
index edc46b72073..a542bf71738 100644
--- a/gcc/go/gofrontend/types.h
+++ b/gcc/go/gofrontend/types.h
@@ -2628,8 +2628,9 @@ class Named_type : public Type
       interface_method_tables_(NULL), pointer_interface_method_tables_(NULL),
       location_(location), named_btype_(NULL), dependencies_(),
       is_visible_(true), is_error_(false), is_placeholder_(false),
-      is_converted_(false), is_circular_(false), seen_(false),
-      seen_in_compare_is_identity_(false), seen_in_get_backend_(false)
+      is_converted_(false), is_circular_(false), is_verified_(false),
+      seen_(false), seen_in_compare_is_identity_(false),
+      seen_in_get_backend_(false)
   { }
 
   // Return the associated Named_object.  This holds the actual name.
@@ -2908,6 +2909,8 @@ class Named_type : public Type
   // Whether this is a pointer or function type which refers to the
   // type itself.
   bool is_circular_;
+  // Whether this type has been verified.
+  bool is_verified_;
   // In a recursive operation such as has_hidden_fields, this flag is
   // used to prevent infinite recursion when a type refers to itself.
   // This is mutable because it is always reset to false when the