aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Kelley <superjoe30@gmail.com>2018-01-26 10:37:18 -0500
committerAndrew Kelley <superjoe30@gmail.com>2018-01-26 10:37:18 -0500
commitad3e2a5da07fbfe02e0152eb3fc408a7bcf36e3c (patch)
treea15ea8b33d5de33d545f9010eebb6d99be619c75
parentf7670882aff5fb3a943057edd9da34d053b5fe59 (diff)
downloadzig-ad3e2a5da07fbfe02e0152eb3fc408a7bcf36e3c.tar.gz
zig-ad3e2a5da07fbfe02e0152eb3fc408a7bcf36e3c.zip
fix compiler crash on function with invalid return type
closes #722
-rw-r--r--src/analyze.cpp6
-rw-r--r--test/compile_errors.zig4
2 files changed, 9 insertions, 1 deletions
diff --git a/src/analyze.cpp b/src/analyze.cpp
index 49f8e093a0..a97ec513ad 100644
--- a/src/analyze.cpp
+++ b/src/analyze.cpp
@@ -1376,6 +1376,10 @@ static TypeTableEntry *analyze_fn_type(CodeGen *g, AstNode *proto_node, Scope *c
fn_type_id.return_type = (fn_proto->return_type == nullptr) ?
g->builtin_types.entry_void : analyze_type_expr(g, child_scope, fn_proto->return_type);
+ if (type_is_invalid(fn_type_id.return_type)) {
+ return g->builtin_types.entry_invalid;
+ }
+
if (fn_type_id.cc != CallingConventionUnspecified && !type_allowed_in_extern(g, fn_type_id.return_type)) {
add_node_error(g, fn_proto->return_type,
buf_sprintf("return type '%s' not allowed in function with calling convention '%s'",
@@ -1386,7 +1390,7 @@ static TypeTableEntry *analyze_fn_type(CodeGen *g, AstNode *proto_node, Scope *c
switch (fn_type_id.return_type->id) {
case TypeTableEntryIdInvalid:
- return g->builtin_types.entry_invalid;
+ zig_unreachable();
case TypeTableEntryIdUndefLit:
case TypeTableEntryIdNullLit:
diff --git a/test/compile_errors.zig b/test/compile_errors.zig
index cc28f29f26..64ee69ba18 100644
--- a/test/compile_errors.zig
+++ b/test/compile_errors.zig
@@ -1,6 +1,10 @@
const tests = @import("tests.zig");
pub fn addCases(cases: &tests.CompileErrorContext) void {
+ cases.add("function with invalid return type",
+ \\export fn foo() boid {}
+ , ".tmp_source.zig:1:17: error: use of undeclared identifier 'boid'");
+
cases.add("function with non-extern enum parameter",
\\const Foo = enum { A, B, C };
\\export fn entry(foo: Foo) void { }