diff options
| author | Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com> | 2023-11-08 16:34:19 +0100 |
|---|---|---|
| committer | P-E-P <32375388+P-E-P@users.noreply.github.com> | 2023-11-14 18:27:16 +0000 |
| commit | 7d9052b36f59bea45de5854e7c8dd0c7bc323a62 (patch) | |
| tree | 755f7fffe179537728315afe9de998bd42568c26 /gcc/rust/resolve/rust-ast-resolve-expr.cc | |
| parent | f46fd401949ece4cc691c80a05e0038f715a49c1 (diff) | |
| download | gcc-7d9052b36f59bea45de5854e7c8dd0c7bc323a62.zip gcc-7d9052b36f59bea45de5854e7c8dd0c7bc323a62.tar.gz gcc-7d9052b36f59bea45de5854e7c8dd0c7bc323a62.tar.bz2 | |
Use a loop label in break expression
Break expression were using a raw lifetime value instead of a loop label
this behavior would have lead to some errors in ast validation.
gcc/rust/ChangeLog:
* ast/rust-expr.h (class BreakExpr): Change Lifetime to LoopLabel.
* hir/rust-ast-lower-expr.cc (ASTLoweringExpr::visit): Lower lifetime
inside the label instead.
* resolve/rust-ast-resolve-expr.cc (ResolveExpr::visit): Resolve the
inner lifetime.
Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
Diffstat (limited to 'gcc/rust/resolve/rust-ast-resolve-expr.cc')
| -rw-r--r-- | gcc/rust/resolve/rust-ast-resolve-expr.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/rust/resolve/rust-ast-resolve-expr.cc b/gcc/rust/resolve/rust-ast-resolve-expr.cc index 65abf19..e3c915b 100644 --- a/gcc/rust/resolve/rust-ast-resolve-expr.cc +++ b/gcc/rust/resolve/rust-ast-resolve-expr.cc @@ -452,7 +452,7 @@ ResolveExpr::visit (AST::BreakExpr &expr) { if (expr.has_label ()) { - auto label = expr.get_label (); + auto label = expr.get_label ().get_lifetime (); if (label.get_lifetime_type () != AST::Lifetime::LifetimeType::NAMED) { rust_error_at (label.get_locus (), @@ -466,7 +466,7 @@ ResolveExpr::visit (AST::BreakExpr &expr) label.get_lifetime_name ()), &resolved_node)) { - rust_error_at (expr.get_label ().get_locus (), ErrorCode::E0426, + rust_error_at (label.get_locus (), ErrorCode::E0426, "use of undeclared label %qs in %<break%>", label.get_lifetime_name ().c_str ()); return; |