summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar jjourdan <jjourdan@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-05-05 09:36:59 +0000
committerGravatar jjourdan <jjourdan@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2014-05-05 09:36:59 +0000
commit8c1f9086014cd20cf9347c014f3e991d312bbd98 (patch)
tree9851dd2d9b6feaba3f57908a5b7f25c17e37fe0c
parentdba806ca25b5bc53b744e2c1c2d72fa3d6cd8e05 (diff)
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
-rw-r--r--cparser/pre_parser.mly8
1 files changed, 4 insertions, 4 deletions
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*/