# ANSI C YACC Grammar, adopted to rustlr syntax
terminals IDENTIFIER CONSTANT STRING_LITERAL SIZEOF
terminals PTR_OP INC_OP DEC_OP LEFT_OP RIGHT_OP LE_OP GE_OP EQ_OP NE_OP
terminals AND_OP OR_OP MUL_ASSIGN DIV_ASSIGN MOD_ASSIGN ADD_ASSIGN
terminals SUB_ASSIGN LEFT_ASSIGN RIGHT_ASSIGN AND_ASSIGN
terminals XOR_ASSIGN OR_ASSIGN TYPE_NAME
terminals TYPEDEF EXTERN STATIC AUTO REGISTER
terminals CHAR SHORT INT LONG SIGNED UNSIGNED FLOAT DOUBLE CONST VOLATILE VOID
terminals STRUCT UNION ENUM ELLIPSIS
terminals CASE DEFAULT IF ELSE SWITCH WHILE DO FOR GOTO CONTINUE BREAK RETURN
terminals [ ] ( ) Lbrace Rbrace Amp + - ~ Bang Bar Hat ; Dot Comma Colon
terminals Star Div Percent Lt Gt Eq1 Quest
primary_expression ==>
IDENTIFIER
| CONSTANT
| STRING_LITERAL
| ( expression )
<==
postfix_expression ==>
primary_expression
| postfix_expression [ expression ]
| postfix_expression ( )
| postfix_expression ( argument_expression_list )
| postfix_expression Dot IDENTIFIER
| postfix_expression PTR_OP IDENTIFIER
| postfix_expression INC_OP
| postfix_expression DEC_OP
<==
argument_expression_list --> assignment_expression | argument_expression_list Comma assignment_expression
unary_expression
: postfix_expression
| INC_OP unary_expression
| DEC_OP unary_expression
| unary_operator cast_expression
| SIZEOF unary_expression
| SIZEOF ( type_name )
;
unary_operator
: Amp
| Star
| +
| -
| ~
| Bang
;
cast_expression
: unary_expression
| ( type_name ) cast_expression
;
multiplicative_expression
: cast_expression
| multiplicative_expression Star cast_expression
| multiplicative_expression Div cast_expression
| multiplicative_expression Percent cast_expression
;
additive_expression
: multiplicative_expression
| additive_expression + multiplicative_expression
| additive_expression - multiplicative_expression
;
shift_expression
: additive_expression
| shift_expression LEFT_OP additive_expression
| shift_expression RIGHT_OP additive_expression
;
relational_expression
: shift_expression
| relational_expression Lt shift_expression
| relational_expression Gt shift_expression
| relational_expression LE_OP shift_expression
| relational_expression GE_OP shift_expression
;
equality_expression
: relational_expression
| equality_expression EQ_OP relational_expression
| equality_expression NE_OP relational_expression
;
and_expression
: equality_expression
| and_expression Amp equality_expression
;
exclusive_or_expression
: and_expression
| exclusive_or_expression Hat and_expression
;
inclusive_or_expression
: exclusive_or_expression
| inclusive_or_expression Bar exclusive_or_expression
;
logical_and_expression
: inclusive_or_expression
| logical_and_expression AND_OP inclusive_or_expression
;
logical_or_expression
: logical_and_expression
| logical_or_expression OR_OP logical_and_expression
;
conditional_expression
: logical_or_expression
| logical_or_expression Quest expression Colon conditional_expression
;
assignment_expression
: conditional_expression
| unary_expression assignment_operator assignment_expression
;
assignment_operator
: Eq1
| MUL_ASSIGN
| DIV_ASSIGN
| MOD_ASSIGN
| ADD_ASSIGN
| SUB_ASSIGN
| LEFT_ASSIGN
| RIGHT_ASSIGN
| AND_ASSIGN
| XOR_ASSIGN
| OR_ASSIGN
;
expression
: assignment_expression
| expression Comma assignment_expression
;
constant_expression
: conditional_expression
;
declaration
: declaration_specifiers ;
| declaration_specifiers init_declarator_list ;
;
declaration_specifiers
: storage_class_specifier
| storage_class_specifier declaration_specifiers
| type_specifier
| type_specifier declaration_specifiers
| type_qualifier
| type_qualifier declaration_specifiers
;
init_declarator_list
: init_declarator
| init_declarator_list Comma init_declarator
;
init_declarator
: declarator
| declarator Eq1 initializer
;
storage_class_specifier
: TYPEDEF
| EXTERN
| STATIC
| AUTO
| REGISTER
;
type_specifier
: VOID
| CHAR
| SHORT
| INT
| LONG
| FLOAT
| DOUBLE
| SIGNED
| UNSIGNED
| struct_or_union_specifier
| enum_specifier
| TYPE_NAME
;
struct_or_union_specifier
: struct_or_union IDENTIFIER Lbrace struct_declaration_list Rbrace
| struct_or_union Lbrace struct_declaration_list Rbrace
| struct_or_union IDENTIFIER
;
struct_or_union
: STRUCT
| UNION
;
struct_declaration_list
: struct_declaration
| struct_declaration_list struct_declaration
;
struct_declaration
: specifier_qualifier_list struct_declarator_list ;
;
specifier_qualifier_list
: type_specifier specifier_qualifier_list
| type_specifier
| type_qualifier specifier_qualifier_list
| type_qualifier
;
struct_declarator_list
: struct_declarator
| struct_declarator_list Comma struct_declarator
;
struct_declarator
: declarator
| Colon constant_expression
| declarator Colon constant_expression
;
enum_specifier
: ENUM Lbrace enumerator_list Rbrace
| ENUM IDENTIFIER Lbrace enumerator_list Rbrace
| ENUM IDENTIFIER
;
enumerator_list
: enumerator
| enumerator_list Comma enumerator
;
enumerator
: IDENTIFIER
| IDENTIFIER Eq1 constant_expression
;
type_qualifier
: CONST
| VOLATILE
;
declarator
: pointer direct_declarator
| direct_declarator
;
direct_declarator
: IDENTIFIER
| ( declarator )
| direct_declarator [ constant_expression ]
| direct_declarator [ ]
| direct_declarator ( parameter_type_list )
| direct_declarator ( identifier_list )
| direct_declarator ( )
;
pointer
: Star
| Star type_qualifier_list
| Star pointer
| Star type_qualifier_list pointer
;
type_qualifier_list
: type_qualifier
| type_qualifier_list type_qualifier
;
parameter_type_list
: parameter_list
| parameter_list Comma ELLIPSIS
;
parameter_list
: parameter_declaration
| parameter_list Comma parameter_declaration
;
parameter_declaration
: declaration_specifiers declarator
| declaration_specifiers abstract_declarator
| declaration_specifiers
;
identifier_list
: IDENTIFIER
| identifier_list Comma IDENTIFIER
;
type_name
: specifier_qualifier_list
| specifier_qualifier_list abstract_declarator
;
abstract_declarator
: pointer
| direct_abstract_declarator
| pointer direct_abstract_declarator
;
direct_abstract_declarator
: ( abstract_declarator )
| [ ]
| [ constant_expression ]
| direct_abstract_declarator [ ]
| direct_abstract_declarator [ constant_expression ]
| ( )
| ( parameter_type_list )
| direct_abstract_declarator ( )
| direct_abstract_declarator ( parameter_type_list )
;
initializer
: assignment_expression
| Lbrace initializer_list Rbrace
| Lbrace initializer_list Comma Rbrace
;
initializer_list
: initializer
| initializer_list Comma initializer
;
statement
: labeled_statement
| compound_statement
| expression_statement
| selection_statement
| iteration_statement
| jump_statement
;
labeled_statement
: IDENTIFIER Colon statement
| CASE constant_expression Colon statement
| DEFAULT Colon statement
;
compound_statement
: Lbrace Rbrace
| Lbrace statement_list Rbrace
| Lbrace declaration_list Rbrace
| Lbrace declaration_list statement_list Rbrace
;
declaration_list
: declaration
| declaration_list declaration
;
statement_list
: statement
| statement_list statement
;
expression_statement
: ;
| expression ;
;
selection_statement
: IF ( expression ) statement
| IF ( expression ) statement ELSE statement
| SWITCH ( expression ) statement
;
iteration_statement
: WHILE ( expression ) statement
| DO statement WHILE ( expression ) ;
| FOR ( expression_statement expression_statement ) statement
| FOR ( expression_statement expression_statement expression ) statement
;
jump_statement
: GOTO IDENTIFIER ;
| CONTINUE ;
| BREAK ;
| RETURN ;
| RETURN expression ;
;
translation_unit
: external_declaration
| translation_unit external_declaration
;
external_declaration
: function_definition
| declaration
;
function_definition
: declaration_specifiers declarator declaration_list compound_statement
| declaration_specifiers declarator compound_statement
| declarator declaration_list compound_statement
| declarator compound_statement
;
topsym translation_unit
EOF
ANSI C Yacc grammar
In 1985, Jeff Lee published his Yacc grammar (which is accompanied by a matching Lex specification) for the April 30, 1985 draft version of the ANSI C standard. Tom Stockfisch reposted it to net.sources in 1987; that original, as mentioned in the answer to question 17.25 of the comp.lang.c FAQ, can be ftp'ed from ftp.uu.net, file usenet/net.sources/ansi.c.grammar.Z.
Jutta Degener, 1995
%%
#include <stdio.h>
extern char yytext[];
extern int column;
yyerror(s)
char *s;
{
fflush(stdout);
printf("\n%*s\n%*s\n", column, "^", column, s);
}