[gcc r15-9078] gccrs: parser: Parse let-else statements

[Arthur Cohen via Gcc-cvs]

https://gcc.gnu.org/g:010890e3f99e8cd771b7f3f126d2a5be63a2ba46

commit r15-9078-g010890e3f99e8cd771b7f3f126d2a5be63a2ba46
Author: Arthur Cohen <arthur.co...@embecosm.com>
Date:   Wed Mar 5 15:30:04 2025 +0000

    gccrs: parser: Parse let-else statements
    
    gcc/rust/ChangeLog:
    
            * parse/rust-parse-impl.h (Parser::parse_let_stmt): Add new parsing 
in case of `else` token.

Diff:
---
 gcc/rust/parse/rust-parse-impl.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/gcc/rust/parse/rust-parse-impl.h b/gcc/rust/parse/rust-parse-impl.h
index dd6086896f83..71d72504cfc3 100644
--- a/gcc/rust/parse/rust-parse-impl.h
+++ b/gcc/rust/parse/rust-parse-impl.h
@@ -6163,6 +6163,10 @@ Parser<ManagedTokenSource>::parse_let_stmt (AST::AttrVec 
outer_attrs,
        }
     }
 
+  tl::optional<std::unique_ptr<AST::Expr>> else_expr = tl::nullopt;
+  if (maybe_skip_token (ELSE))
+    else_expr = parse_block_expr ();
+
   if (restrictions.consume_semi)
     {
       // `stmt` macro variables are parsed without a semicolon, but should be
@@ -6177,7 +6181,7 @@ Parser<ManagedTokenSource>::parse_let_stmt (AST::AttrVec 
outer_attrs,
 
   return std::unique_ptr<AST::LetStmt> (
     new AST::LetStmt (std::move (pattern), std::move (expr), std::move (type),
-                     std::move (outer_attrs), locus));
+                     std::move (else_expr), std::move (outer_attrs), locus));
 }
 
 // Parses a type path.