aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-04-16 19:25:59 -0400
committerBruce Hill <bruce@bruce-hill.com>2025-04-16 19:25:59 -0400
commit3a73ac521cfef932e8a98c1ff39616cf877e5de0 (patch)
tree195e188dfb89a2ecc2ce3234af516b1d174fab73 /src
parent39b463ff60ea172d5f538310ec4e26b2a5427fb7 (diff)
Roll back change to add a return for unreachable functions
Diffstat (limited to 'src')
-rw-r--r--src/compile.c3
-rw-r--r--src/stdlib/util.h2
2 files changed, 0 insertions, 5 deletions
diff --git a/src/compile.c b/src/compile.c
index c03def22..888a0975 100644
--- a/src/compile.c
+++ b/src/compile.c
@@ -1928,9 +1928,6 @@ static CORD _compile_statement(env_t *env, ast_t *ast)
CORD compile_statement(env_t *env, ast_t *ast) {
CORD stmt = _compile_statement(env, ast);
- if (ast->tag != Block && get_type(env, ast)->tag == AbortType && env->fn_ret
- && (env->fn_ret->tag != VoidType && env->fn_ret->tag != AbortType))
- stmt = CORD_all(stmt, "\nUNREACHABLE_RETURN(", compile_type(env->fn_ret), ");");
return with_source_info(env, ast, stmt);
}
diff --git a/src/stdlib/util.h b/src/stdlib/util.h
index e54c1cab..25cd49f9 100644
--- a/src/stdlib/util.h
+++ b/src/stdlib/util.h
@@ -21,8 +21,6 @@
#define WHEN(type, subj, var, body) { type var = subj; switch (var.$tag) body }
-#define UNREACHABLE_RETURN(t) { errx(1, "Unreachable"); t _unreachable; return _unreachable; }
-
#ifndef public
#define public __attribute__ ((visibility ("default")))
#endif