From: Christoph Mallon <christoph.mallon@gmx.de>
Date: Tue, 2 Dec 2008 22:29:52 +0000 (+0000)
Subject: Adhere §6.7.6:2 footnote 126:  Empty parentheses in a type name are interpreted as... 
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=79cfed3bedf4f202d014e2e0808ee908f7930468;p=cparser

Adhere §6.7.6:2 footnote 126:  Empty parentheses in a type name are interpreted as ``function with no parameter specification, rather than redundant parentheses around the omitted identifier.

[r24237]
---

diff --git a/parser.c b/parser.c
index 1d4862c..1a5a776 100644
--- a/parser.c
+++ b/parser.c
@@ -4440,15 +4440,20 @@ ptr_operator_end:
 		next_token();
 		break;
 	case '(':
-		next_token();
-		add_anchor_token(')');
-		inner_types = parse_inner_declarator(env, may_be_abstract);
-		if (inner_types != NULL) {
-			/* All later declarators only modify the return type */
-			env = NULL;
+		/* §6.7.6:2 footnote 126:  Empty parentheses in a type name are
+		 * interpreted as ``function with no parameter specification'', rather
+		 * than redundant parentheses around the omitted identifier. */
+		if (look_ahead(1)->type != ')') {
+			next_token();
+			add_anchor_token(')');
+			inner_types = parse_inner_declarator(env, may_be_abstract);
+			if (inner_types != NULL) {
+				/* All later declarators only modify the return type */
+				env = NULL;
+			}
+			rem_anchor_token(')');
+			expect(')');
 		}
-		rem_anchor_token(')');
-		expect(')');
 		break;
 	default:
 		if (may_be_abstract)