[gcc/devel/rust/master] privacy: reachability: Visit all types of a struct's public fields

[gcc/devel/rust/master] privacy: reachability: Visit all types of a struct's public fields

[Thomas Schwinge]

https://gcc.gnu.org/g:1e5126022d8db1adaa925a810dbe0f8f0a13d1fa

commit 1e5126022d8db1adaa925a810dbe0f8f0a13d1fa
Author: Arthur Cohen <arthur.cohen@embecosm.com>
Date:   Tue Apr 12 10:47:57 2022 +0200

    privacy: reachability: Visit all types of a struct's public fields

Diff:
---
 gcc/rust/privacy/rust-reachability.cc | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/gcc/rust/privacy/rust-reachability.cc b/gcc/rust/privacy/rust-reachability.cc
index 8c1e9bedf92..82a48271177 100644
--- a/gcc/rust/privacy/rust-reachability.cc
+++ b/gcc/rust/privacy/rust-reachability.cc
@@ -110,15 +110,12 @@ ReachabilityVisitor::visit (HIR::StructStruct &struct_item)
 	    }
 	}
 
-      // for (auto &field : struct_item.get_fields ())
-      // if (field.get_visibility ().is_public ())
-      // FIXME: How do we visit these fields with the reachability
-      // visitor?
+      for (auto &field : struct_item.get_fields ())
+	if (field.get_visibility ().is_public ())
+	  ctx.update_reachability (field.get_field_type ()->get_mappings (),
+				   struct_reach);
     }
 
-  // FIXME: How do we get the constructor from `struct_item`? We need to update
-  // its visibility as well. Probably by keeping a reference to the TypeCtx?
-
   current_level = old_level;
 }