diff options
author | Arthur Cohen <arthur.cohen@embecosm.com> | 2023-03-28 14:22:21 +0200 |
---|---|---|
committer | Philip Herron <philip.herron@embecosm.com> | 2023-03-29 21:14:15 +0000 |
commit | 70b889b90ae982a2c0c6fe8596d9885d5dcc644f (patch) | |
tree | 0426b76c85262fa4dd8836eceebd7003cd0117fd | |
parent | ff4d4570b44baf6a106cb0cfde3a1fe9ff0ed09f (diff) | |
download | gcc-70b889b90ae982a2c0c6fe8596d9885d5dcc644f.zip gcc-70b889b90ae982a2c0c6fe8596d9885d5dcc644f.tar.gz gcc-70b889b90ae982a2c0c6fe8596d9885d5dcc644f.tar.bz2 |
privacy: Check for pub(crate) when resolving visibility path.
This causes the function to return true and the checks to pass, but it
requires more thinking - how do we deal with pub(crate) in the current system?
Should we simply treat it as a pub item in the current crate, but export it as
a private item in the metadata?
gcc/rust/ChangeLog:
* ast/rust-item.h: Fix `Visibility::has_path()` implementation.
* checks/errors/privacy/rust-visibility-resolver.cc
(VisibilityResolver::resolve_module_path): Check if we are dealing with pub(crate) properly.
gcc/testsuite/ChangeLog:
* rust/compile/privacy8.rs: New test.
-rw-r--r-- | gcc/rust/ast/rust-item.h | 2 | ||||
-rw-r--r-- | gcc/rust/checks/errors/privacy/rust-visibility-resolver.cc | 10 | ||||
-rw-r--r-- | gcc/testsuite/rust/compile/privacy8.rs | 1 |
3 files changed, 12 insertions, 1 deletions
diff --git a/gcc/rust/ast/rust-item.h b/gcc/rust/ast/rust-item.h index 80421c5..a96076e 100644 --- a/gcc/rust/ast/rust-item.h +++ b/gcc/rust/ast/rust-item.h @@ -642,7 +642,7 @@ public: } // Returns whether a visibility has a path - bool has_path () const { return !(is_error ()) && vis_type == PUB_IN_PATH; } + bool has_path () const { return !is_error () && vis_type >= PUB_CRATE; } // Returns whether visibility is public or not. bool is_public () const { return vis_type != PRIV && !is_error (); } diff --git a/gcc/rust/checks/errors/privacy/rust-visibility-resolver.cc b/gcc/rust/checks/errors/privacy/rust-visibility-resolver.cc index 30afaf9..5b33828 100644 --- a/gcc/rust/checks/errors/privacy/rust-visibility-resolver.cc +++ b/gcc/rust/checks/errors/privacy/rust-visibility-resolver.cc @@ -74,6 +74,16 @@ VisibilityResolver::resolve_module_path (const HIR::SimplePath &restriction, HirId ref; rust_assert (mappings.lookup_node_to_hir (ref_node_id, &ref)); + auto crate = mappings.get_ast_crate (mappings.get_current_crate ()); + + // we may be dealing with pub(crate) + if (ref_node_id == crate.get_node_id ()) + // FIXME: What do we do here? There isn't a DefId for the Crate, so can we + // actually do anything? + // We basically want to return true always but just when exporting export + // these items as private? + return true; + auto module = mappings.lookup_module (ref); if (!module) { diff --git a/gcc/testsuite/rust/compile/privacy8.rs b/gcc/testsuite/rust/compile/privacy8.rs new file mode 100644 index 0000000..6cf8f5b --- /dev/null +++ b/gcc/testsuite/rust/compile/privacy8.rs @@ -0,0 +1 @@ +pub(crate) struct Foo; // { dg-warning "struct is never constructed" } |