diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-01 14:56:21 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-01 14:56:21 +0100 |
commit | 34886d135cec62883e76ba25bda34b4623e4a696 (patch) | |
tree | 11f91b98317dbed13dabf2e1c02008eaca58dcdf /cparser/pre_parser.mly | |
parent | 31f86965bf172fb32f9cca99a292ebdf6cea57b9 (diff) | |
download | compcert-34886d135cec62883e76ba25bda34b4623e4a696.tar.gz compcert-34886d135cec62883e76ba25bda34b4623e4a696.zip |
Change the syntax to gcc/clangs syntax.
This only means that there must be one identifier at the begining
and then a designator.
Bug 20765
Diffstat (limited to 'cparser/pre_parser.mly')
-rw-r--r-- | cparser/pre_parser.mly | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly index dc9c5319..cdd043a7 100644 --- a/cparser/pre_parser.mly +++ b/cparser/pre_parser.mly @@ -254,7 +254,8 @@ postfix_expression: | postfix_expression LBRACK expression RBRACK | postfix_expression LPAREN argument_expression_list? RPAREN | BUILTIN_VA_ARG LPAREN assignment_expression COMMA type_name RPAREN -| BUILTIN_OFFSETOF LPAREN type_name COMMA designator_list RPAREN +| BUILTIN_OFFSETOF LPAREN type_name COMMA other_identifier RPAREN +| BUILTIN_OFFSETOF LPAREN type_name COMMA other_identifier designator_list RPAREN | postfix_expression DOT other_identifier | postfix_expression PTR other_identifier | postfix_expression INC |