diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/rust/resolve/rust-ast-resolve-expr.cc | 10 | ||||
| -rw-r--r-- | gcc/testsuite/rust/compile/undeclared_label.rs | 16 |
2 files changed, 22 insertions, 4 deletions
diff --git a/gcc/rust/resolve/rust-ast-resolve-expr.cc b/gcc/rust/resolve/rust-ast-resolve-expr.cc index bb7c5ff..fefa0f5 100644 --- a/gcc/rust/resolve/rust-ast-resolve-expr.cc +++ b/gcc/rust/resolve/rust-ast-resolve-expr.cc @@ -451,8 +451,9 @@ ResolveExpr::visit (AST::BreakExpr &expr) label.get_lifetime_name ()), &resolved_node)) { - rust_error_at (expr.get_label ().get_locus (), - "failed to resolve label"); + rust_error_at (expr.get_label ().get_locus (), ErrorCode::E0426, + "use of undeclared label %qs in %<break%>", + label.get_lifetime_name ().c_str ()); return; } resolver->insert_resolved_label (label.get_node_id (), resolved_node); @@ -572,8 +573,9 @@ ResolveExpr::visit (AST::ContinueExpr &expr) label.get_lifetime_name ()), &resolved_node)) { - rust_error_at (expr.get_label ().get_locus (), - "failed to resolve label"); + rust_error_at (expr.get_label ().get_locus (), ErrorCode::E0426, + "use of undeclared label %qs in %<continue%>", + label.get_lifetime_name ().c_str ()); return; } resolver->insert_resolved_label (label.get_node_id (), resolved_node); diff --git a/gcc/testsuite/rust/compile/undeclared_label.rs b/gcc/testsuite/rust/compile/undeclared_label.rs new file mode 100644 index 0000000..6efa2d9 --- /dev/null +++ b/gcc/testsuite/rust/compile/undeclared_label.rs @@ -0,0 +1,16 @@ +// ErrorCode::E0426 +#![allow(unused)] +fn resolve_label_continue() -> () { + loop { + continue 'a; // { dg-error "use of undeclared label .a. in .continue." } + } +} +fn resolve_label_break() -> () { + loop { + break 'crabby; // { dg-error "use of undeclared label .crabby. in .break." } + } +} +fn main() { + resolve_label_continue(); + resolve_label_break(); +} |