Merge pull request #4271 from Feoramund/forbid-defer-orbreak

Forbid labelled or-branch expressions within `defer`
odin-lang · Sep 19, 2024 · a52b1e0 · a52b1e0
2 parents d560dad + acbf5c8
commit a52b1e0
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/check_expr.cpp b/src/check_expr.cpp
@@ -9131,6 +9131,10 @@ gb_internal ExprKind check_or_branch_expr(CheckerContext *c, Operand *o, Ast *no
 	}
 
 	if (label != nullptr) {
+		if (c->in_defer) {
+			error(label, "A labelled '%.*s' cannot be used within a 'defer'", LIT(name));
+			return Expr_Expr;
+		}
 		if (label->kind != Ast_Ident) {
 			error(label, "A branch statement's label name must be an identifier");
 			return Expr_Expr;