public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc/devel/rust/master] Implement name resolution for the IfLet expression.
@ 2022-06-08 12:45 Thomas Schwinge
0 siblings, 0 replies; only message in thread
From: Thomas Schwinge @ 2022-06-08 12:45 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:a91b138bbc26408d97bbe870553b4276f8bf1f71
commit a91b138bbc26408d97bbe870553b4276f8bf1f71
Author: antego <antego@users.noreply.github.com>
Date: Tue May 10 21:48:05 2022 +1000
Implement name resolution for the IfLet expression.
Addresses #1177.
Diff:
---
gcc/rust/resolve/rust-ast-resolve-expr.cc | 25 +++++++++++++++++++++++++
gcc/rust/resolve/rust-ast-resolve-expr.h | 2 ++
2 files changed, 27 insertions(+)
diff --git a/gcc/rust/resolve/rust-ast-resolve-expr.cc b/gcc/rust/resolve/rust-ast-resolve-expr.cc
index 71af8c23205..402c0488277 100644
--- a/gcc/rust/resolve/rust-ast-resolve-expr.cc
+++ b/gcc/rust/resolve/rust-ast-resolve-expr.cc
@@ -198,6 +198,31 @@ ResolveExpr::visit (AST::IfExprConseqIf &expr)
resolve_expr (expr.get_conseq_if_expr ().get (), expr.get_node_id ());
}
+void
+ResolveExpr::visit (AST::IfLetExpr &expr)
+{
+ resolve_expr (expr.get_value_expr ().get (), expr.get_node_id ());
+
+ NodeId scope_node_id = expr.get_node_id ();
+ resolver->get_name_scope ().push (scope_node_id);
+ resolver->get_type_scope ().push (scope_node_id);
+ resolver->get_label_scope ().push (scope_node_id);
+ resolver->push_new_name_rib (resolver->get_name_scope ().peek ());
+ resolver->push_new_type_rib (resolver->get_type_scope ().peek ());
+ resolver->push_new_label_rib (resolver->get_type_scope ().peek ());
+
+ for (auto &pattern : expr.get_patterns ())
+ {
+ PatternDeclaration::go (pattern.get (), expr.get_node_id ());
+ }
+
+ resolve_expr (expr.get_if_block ().get (), expr.get_node_id ());
+
+ resolver->get_name_scope ().pop ();
+ resolver->get_type_scope ().pop ();
+ resolver->get_label_scope ().pop ();
+}
+
void
ResolveExpr::visit (AST::BlockExpr &expr)
{
diff --git a/gcc/rust/resolve/rust-ast-resolve-expr.h b/gcc/rust/resolve/rust-ast-resolve-expr.h
index 34a318d6d04..72e608532fd 100644
--- a/gcc/rust/resolve/rust-ast-resolve-expr.h
+++ b/gcc/rust/resolve/rust-ast-resolve-expr.h
@@ -69,6 +69,8 @@ public:
void visit (AST::IfExprConseqIf &expr) override;
+ void visit (AST::IfLetExpr &expr) override;
+
void visit (AST::BlockExpr &expr) override;
void visit (AST::UnsafeBlockExpr &expr) override;
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-06-08 12:45 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-08 12:45 [gcc/devel/rust/master] Implement name resolution for the IfLet expression Thomas Schwinge
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).