From 8c1f9086014cd20cf9347c014f3e991d312bbd98 Mon Sep 17 00:00:00 2001
From: jjourdan <jjourdan@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 5 May 2014 09:36:59 +0000
Subject: Do not allow typedef_name in identifier lists of K&R style
 definitions

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2479 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/pre_parser.mly | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'cparser')

diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly
index 1998248..117d20d 100644
--- a/cparser/pre_parser.mly
+++ b/cparser/pre_parser.mly
@@ -659,10 +659,10 @@ function_definition_begin:
     }
 
 identifier_list:
-| id = general_identifier
-    { set_id_type id VarId; [id] }
-| idl = identifier_list COMMA id = general_identifier
-    { set_id_type id VarId; id :: idl }
+| id = VAR_NAME
+    { [id] }
+| idl = identifier_list COMMA id = VAR_NAME
+    { id :: idl }
 
 declaration_list:
 | /*empty*/
-- 
cgit v1.2.3