[gcc/devel/rust/master] gccrs: Lower ErrorPropagationExpr from AST to HIR

[gcc/devel/rust/master] gccrs: Lower ErrorPropagationExpr from AST to HIR

[Thomas Schwinge]

https://gcc.gnu.org/g:74b4d6ddf6758addd3b93985aa56382fa00c43e1

commit 74b4d6ddf6758addd3b93985aa56382fa00c43e1
Author: Sergey Bugaev <bugaevc@gmail.com>
Date:   Fri Apr 14 19:47:46 2023 +0300

    gccrs: Lower ErrorPropagationExpr from AST to HIR
    
    gcc/rust/ChangeLog:
            * hir/rust-ast-lower-expr.h, hir/rust-ast-lower-expr.cc:
            Lower AST::ErrorPropagationExpr to HIR::ErrorPropagationExpr
    
    Signed-off-by: Sergey Bugaev <bugaevc@gmail.com>

Diff:
---
 gcc/rust/hir/rust-ast-lower-expr.cc | 15 +++++++++++++++
 gcc/rust/hir/rust-ast-lower-expr.h  |  1 +
 2 files changed, 16 insertions(+)

diff --git a/gcc/rust/hir/rust-ast-lower-expr.cc b/gcc/rust/hir/rust-ast-lower-expr.cc
index d05d1277e66..8d09664a931 100644
--- a/gcc/rust/hir/rust-ast-lower-expr.cc
+++ b/gcc/rust/hir/rust-ast-lower-expr.cc
@@ -673,6 +673,21 @@ ASTLoweringExpr::visit (AST::DereferenceExpr &expr)
 				expr.get_outer_attrs (), expr.get_locus ());
 }
 
+void
+ASTLoweringExpr::visit (AST::ErrorPropagationExpr &expr)
+{
+  HIR::Expr *propagating_expr
+    = ASTLoweringExpr::translate (expr.get_propagating_expr ().get ());
+
+  auto crate_num = mappings->get_current_crate ();
+  Analysis::NodeMapping mapping (crate_num, expr.get_node_id (),
+				 mappings->get_next_hir_id (crate_num),
+				 UNKNOWN_LOCAL_DEFID);
+  translated = new HIR::ErrorPropagationExpr (
+    mapping, std::unique_ptr<HIR::Expr> (propagating_expr),
+    expr.get_outer_attrs (), expr.get_locus ());
+}
+
 void
 ASTLoweringExpr::visit (AST::MatchExpr &expr)
 {
diff --git a/gcc/rust/hir/rust-ast-lower-expr.h b/gcc/rust/hir/rust-ast-lower-expr.h
index cfd755cdb09..b9a7a77d06a 100644
--- a/gcc/rust/hir/rust-ast-lower-expr.h
+++ b/gcc/rust/hir/rust-ast-lower-expr.h
@@ -111,6 +111,7 @@ public:
   void visit (AST::ContinueExpr &expr) override;
   void visit (AST::BorrowExpr &expr) override;
   void visit (AST::DereferenceExpr &expr) override;
+  void visit (AST::ErrorPropagationExpr &expr) override;
   void visit (AST::MatchExpr &expr) override;
   void visit (AST::RangeFromToExpr &expr) override;
   void visit (AST::RangeFromExpr &expr) override;