From: Matthias Braun <matze@braunis.de>
Date: Fri, 10 Sep 2010 09:29:48 +0000 (+0000)
Subject: add missing semantic check: varargs arguments must have object type (= not void)
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=aec9ee91359e0e724946c8bc22be1950709b0708;p=cparser

add missing semantic check: varargs arguments must have object type (= not void)

[r27986]
---

diff --git a/parser.c b/parser.c
index 5189da8..0174b5b 100644
--- a/parser.c
+++ b/parser.c
@@ -7520,6 +7520,10 @@ static expression_t *parse_call_expression(expression_t *expression)
 	/* do default promotion for other arguments */
 	for (; argument != NULL; argument = argument->next) {
 		type_t *type = argument->expression->base.type;
+		if (!is_type_object(skip_typeref(type))) {
+			errorf(&argument->expression->base.source_position,
+			       "call argument '%E' must not be void", argument->expression);
+		}
 
 		type = get_default_promoted_type(type);