Line data Source code
1 : // Copyright (C) 2020-2026 Free Software Foundation, Inc.
2 :
3 : // This file is part of GCC.
4 :
5 : // GCC is free software; you can redistribute it and/or modify it under
6 : // the terms of the GNU General Public License as published by the Free
7 : // Software Foundation; either version 3, or (at your option) any later
8 : // version.
9 :
10 : // GCC is distributed in the hope that it will be useful, but WITHOUT ANY
11 : // WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 : // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13 : // for more details.
14 :
15 : // You should have received a copy of the GNU General Public License
16 : // along with GCC; see the file COPYING3. If not see
17 : // <http://www.gnu.org/licenses/>.
18 :
19 : #include "rust-pub-restricted-visitor.h"
20 : #include "rust-hir.h"
21 : #include "rust-hir-item.h"
22 :
23 : namespace Rust {
24 : namespace Privacy {
25 :
26 : bool
27 22185 : PubRestrictedVisitor::is_restriction_valid (NodeId item_id,
28 : const location_t locus)
29 : {
30 22185 : auto visibility = mappings.lookup_visibility (item_id);
31 :
32 : // If there is no visibility in the mappings, then the item is private and
33 : // does not contain any restriction
34 : // FIXME: Is that correct?
35 22185 : if (!visibility)
36 : return true;
37 :
38 15376 : for (auto mod = module_stack.rbegin (); mod != module_stack.rend (); mod++)
39 17192 : if (*mod == visibility->get_module_id ())
40 22185 : return true;
41 :
42 2 : rust_error_at (locus, "restricted path is not an ancestor of the "
43 : "current module");
44 2 : return false;
45 : }
46 :
47 4428 : PubRestrictedVisitor::PubRestrictedVisitor (Analysis::Mappings &mappings)
48 4428 : : mappings (mappings)
49 4428 : {}
50 :
51 : void
52 4428 : PubRestrictedVisitor::go (HIR::Crate &crate)
53 : {
54 : // The `crate` module will always be present
55 4428 : module_stack.emplace_back (crate.get_mappings ().get_defid ());
56 :
57 : // FIXME: When do we insert `super`? `self`?
58 : // We need wrapper function for these
59 :
60 22787 : for (auto &item : crate.get_items ())
61 : {
62 18359 : if (item->get_hir_kind () == HIR::Node::VIS_ITEM)
63 : {
64 18359 : auto vis_item = static_cast<HIR::VisItem *> (item.get ());
65 18359 : vis_item->accept_vis (*this);
66 : }
67 : }
68 4428 : }
69 :
70 : void
71 1182 : PubRestrictedVisitor::visit (HIR::Module &mod)
72 : {
73 : // FIXME: We need to update `super` and `self` here
74 1182 : module_stack.push_back (mod.get_mappings ().get_defid ());
75 :
76 1182 : is_restriction_valid (mod.get_mappings ().get_nodeid (), mod.get_locus ());
77 :
78 5008 : for (auto &item : mod.get_items ())
79 : {
80 3826 : if (item->get_hir_kind () == HIR::Node::VIS_ITEM)
81 : {
82 3826 : auto vis_item = static_cast<HIR::VisItem *> (item.get ());
83 3826 : vis_item->accept_vis (*this);
84 : }
85 : }
86 :
87 1182 : module_stack.pop_back ();
88 1182 : }
89 :
90 : void
91 0 : PubRestrictedVisitor::visit (HIR::ExternCrate &crate)
92 : {
93 0 : is_restriction_valid (crate.get_mappings ().get_nodeid (),
94 : crate.get_locus ());
95 0 : }
96 :
97 : void
98 0 : PubRestrictedVisitor::visit (HIR::UseDeclaration &use_decl)
99 : {
100 0 : is_restriction_valid (use_decl.get_mappings ().get_nodeid (),
101 : use_decl.get_locus ());
102 0 : }
103 :
104 : void
105 6464 : PubRestrictedVisitor::visit (HIR::Function &func)
106 : {
107 6464 : is_restriction_valid (func.get_mappings ().get_nodeid (), func.get_locus ());
108 6464 : }
109 :
110 : void
111 59 : PubRestrictedVisitor::visit (HIR::TypeAlias &type_alias)
112 : {
113 59 : is_restriction_valid (type_alias.get_mappings ().get_nodeid (),
114 : type_alias.get_locus ());
115 59 : }
116 :
117 : void
118 1447 : PubRestrictedVisitor::visit (HIR::StructStruct &struct_item)
119 : {
120 1447 : is_restriction_valid (struct_item.get_mappings ().get_nodeid (),
121 : struct_item.get_locus ());
122 : // FIXME: Check fields here as well
123 1447 : }
124 :
125 : void
126 805 : PubRestrictedVisitor::visit (HIR::TupleStruct &tuple_struct)
127 : {
128 805 : is_restriction_valid (tuple_struct.get_mappings ().get_nodeid (),
129 : tuple_struct.get_locus ());
130 : // FIXME: Check fields here as well
131 805 : }
132 :
133 : void
134 495 : PubRestrictedVisitor::visit (HIR::Enum &enum_item)
135 : {
136 495 : is_restriction_valid (enum_item.get_mappings ().get_nodeid (),
137 : enum_item.get_locus ());
138 495 : }
139 :
140 : void
141 102 : PubRestrictedVisitor::visit (HIR::Union &union_item)
142 : {
143 102 : is_restriction_valid (union_item.get_mappings ().get_nodeid (),
144 : union_item.get_locus ());
145 102 : }
146 :
147 : void
148 406 : PubRestrictedVisitor::visit (HIR::ConstantItem &const_item)
149 : {
150 406 : is_restriction_valid (const_item.get_mappings ().get_nodeid (),
151 : const_item.get_locus ());
152 406 : }
153 :
154 : void
155 55 : PubRestrictedVisitor::visit (HIR::StaticItem &static_item)
156 : {
157 55 : is_restriction_valid (static_item.get_mappings ().get_nodeid (),
158 : static_item.get_locus ());
159 55 : }
160 :
161 : void
162 3827 : PubRestrictedVisitor::visit (HIR::Trait &trait)
163 : {
164 3827 : is_restriction_valid (trait.get_mappings ().get_nodeid (),
165 : trait.get_locus ());
166 3827 : }
167 :
168 : void
169 5687 : PubRestrictedVisitor::visit (HIR::ImplBlock &impl)
170 : {
171 5687 : is_restriction_valid (impl.get_mappings ().get_nodeid (), impl.get_locus ());
172 5687 : }
173 :
174 : void
175 1656 : PubRestrictedVisitor::visit (HIR::ExternBlock &block)
176 : {
177 1656 : is_restriction_valid (block.get_mappings ().get_nodeid (),
178 : block.get_locus ());
179 1656 : }
180 :
181 : } // namespace Privacy
182 : } // namespace Rust
|
