https://gcc.gnu.org/g:7b3fa7ac97ed5c562ce9c0cbde24f26c14d678ce
commit 7b3fa7ac97ed5c562ce9c0cbde24f26c14d678ce
Author: Arthur Cohen <arthur.co...@embecosm.com>
Date: Tue Feb 20 14:53:32 2024 +0100
extern-types: Declare external types in name resolver.
gcc/rust/ChangeLog:
* resolve/rust-ast-resolve-implitem.h: Declare external types as new
types.
Diff:
---
gcc/rust/resolve/rust-ast-resolve-implitem.h | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
diff --git a/gcc/rust/resolve/rust-ast-resolve-implitem.h
b/gcc/rust/resolve/rust-ast-resolve-implitem.h
index fabc25817f5b..4f4d2893f832 100644
--- a/gcc/rust/resolve/rust-ast-resolve-implitem.h
+++ b/gcc/rust/resolve/rust-ast-resolve-implitem.h
@@ -228,6 +228,25 @@ public:
mappings->insert_module_child_item (current_module, decl);
}
+ void visit (AST::ExternalTypeItem &type) override
+ {
+ auto decl = CanonicalPath::new_seg (type.get_node_id (),
+ type.get_identifier ().as_string ());
+ auto path = prefix.append (decl);
+
+ resolver->get_type_scope ().insert (
+ path, type.get_node_id (), type.get_locus (), false, Rib::ItemType::Type,
+ [&] (const CanonicalPath &, NodeId, location_t locus) -> void {
+ rich_location r (line_table, type.get_locus ());
+ r.add_range (locus);
+
+ rust_error_at (r, "redefined multiple times");
+ });
+
+ NodeId current_module = resolver->peek_current_module_scope ();
+ mappings->insert_module_child_item (current_module, decl);
+ }
+
private:
ResolveToplevelExternItem (const CanonicalPath &prefix)
: ResolverBase (), prefix (prefix)
