gccrs: [E0571] break with argument in non-loop loop

Refactored error message similiar to rustc
& called error function.

gcc/rust/ChangeLog:

	* typecheck/rust-hir-type-check-expr.cc (TypeCheckExpr::visit):
	refactored error message & called error function.

gcc/testsuite/ChangeLog:

	* rust/compile/break2.rs: Modified file to pass test case.
	* rust/compile/break_with_value_inside_loop.rs: New test.

Signed-off-by: Muhammad Mahad <mahadtxt@gmail.com>
This commit is contained in:
Muhammad Mahad 2023-07-27 16:36:09 +05:00 committed by Arthur Cohen
parent 0680907b3b
commit 55a3049525
3 changed files with 19 additions and 3 deletions

View file

@ -1290,8 +1290,9 @@ TypeCheckExpr::visit (HIR::BreakExpr &expr)
TyTy::BaseType *loop_context = context->peek_loop_context ();
if (loop_context->get_kind () == TyTy::TypeKind::ERROR)
{
rust_error_at (expr.get_locus (),
"can only break with a value inside %<loop%>");
rust_error_at (
expr.get_locus (), ErrorCode::E0571,
"can only %<break%> with a value inside a %<loop%> block");
return;
}

View file

@ -1,3 +1,4 @@
// ErrorCode::E0571
fn main() {
let mut a = 1;
let mut b = 1;
@ -5,7 +6,7 @@ fn main() {
let mut c;
while b > 10 {
if (b == 2) {
break b; // { dg-error "can only break with a value inside 'loop'" }
break b; // { dg-error "can only .break. with a value inside a .loop. block" }
}
c = a + b;
a = b;

View file

@ -0,0 +1,14 @@
// https://doc.rust-lang.org/error_codes/E0571.html
#![allow(unused)]
fn main() {
let mut i = 1;
fn satisfied(n: usize) -> bool {
n % 23 == 0
}
let result = while true {
if satisfied(i) {
break 2 * i; // { dg-error "can only .break. with a value inside a .loop. block" }
}
i += 1;
};
}