Print an error if typeof() lacks an argument

We weren't checking if the initializer isn't NULL, which caused sparse
to segfault later on when performing lazy evaluation in classify_type().

Signed-off-by: Martin Nagy <nagy.martin@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>

1 files changed, 5 insertions, 1 deletions

diff --git a/parse.c b/parse.c
index 9662122..e7dbeb9 100644
--- a/parse.c
+++ b/parse.c
@@ -928,8 +928,12 @@ static struct token *typeof_specifier(struct token *token, struct decl_state *ct
 		token = parse_expression(token->next, &typeof_sym->initializer);
 
 		typeof_sym->endpos = token->pos;
+		if (!typeof_sym->initializer) {
+			sparse_error(token->pos, "expected expression after the '(' token");
+			typeof_sym = &bad_ctype;
+		}
 		ctx->ctype.base_type = typeof_sym;
-	}		
+	}
 	return expect(token, ')', "after typeof");
 }