harec

commit 064f0240f37e483ff6d1019b1172930953142814
parent 1b18c38423bcaf53678fa69f41a3d27c2cde9174
Author: Drew DeVault <sir@cmpwn.com>
Date:   Sun, 20 Dec 2020 15:06:50 -0500

check: remove broken @noreturn semantics

Diffstat:
M
src/check.c
 | 
7
-------

1 file changed, 0 insertions(+), 7 deletions(-)
diff --git a/src/check.c b/src/check.c
@@ -188,13 +188,6 @@ check_function(struct context *ctx,
 		expect(!decl->exported,
 				"%s function cannot be exported", flags);
 	}
-	if ((fntype->func.flags & FN_NORETURN)) {
-		expect(!body->terminates, "@noreturn function must not terminate.");
-	} else {
-		expect(body->type != EXPR_LIST || body->terminates,
-			"This function never terminates. Add a return statement or @noreturn.");
-	}
-
 	trleave(TR_CHECK, NULL);
 }