%token IDENTIFIER CONSTANT STRING_LITERAL SIZEOF

%token PTR_OP INC_OP DEC_OP LEFT_OP RIGHT_OP LE_OP GE_OP EQ_OP NE_OP

%token AND_OP OR_OP MUL_ASSIGN DIV_ASSIGN MOD_ASSIGN ADD_ASSIGN

%token SUB_ASSIGN LEFT_ASSIGN RIGHT_ASSIGN AND_ASSIGN

%token XOR_ASSIGN OR_ASSIGN TYPE_NAME

%token TYPEDEF EXTERN STATIC AUTO REGISTER

%token CHAR SHORT INT LONG SIGNED UNSIGNED FLOAT DOUBLE CONST VOLATILE VOID

%token STRUCT UNION ENUM ELIPSIS RANGE

%token CASE DEFAULT IF ELSE SWITCH WHILE DO FOR GOTO CONTINUE BREAK RETURN

%start file

%%

primary_expr

	: identifier

	| CONSTANT

	| STRING_LITERAL

	| '(' expr ')'

	;

postfix_expr

	: primary_expr

	| postfix_expr '[' expr ']'

	| postfix_expr '(' ')'

	| postfix_expr '(' argument_expr_list ')'

	| postfix_expr '.' identifier

	| postfix_expr PTR_OP identifier

	| postfix_expr INC_OP

	| postfix_expr DEC_OP

	;

argument_expr_list

	: assignment_expr

	| argument_expr_list ',' assignment_expr

	;

unary_expr

	: postfix_expr

	| INC_OP unary_expr

	| DEC_OP unary_expr

	| unary_operator cast_expr

	| SIZEOF unary_expr

	| SIZEOF '(' type_name ')'

	;

unary_operator

	: '&'

	| '*'

	| '+'

	| '-'

	| '~'

	| '!'

	;

cast_expr

	: unary_expr

	| '(' type_name ')' cast_expr

	;

multiplicative_expr

	: cast_expr

	| multiplicative_expr '*' cast_expr

	| multiplicative_expr '/' cast_expr

	| multiplicative_expr '%' cast_expr

	;

additive_expr

	: multiplicative_expr

	| additive_expr '+' multiplicative_expr

	| additive_expr '-' multiplicative_expr

	;

shift_expr

	: additive_expr

	| shift_expr LEFT_OP additive_expr

	| shift_expr RIGHT_OP additive_expr

	;

relational_expr

	: shift_expr

	| relational_expr '<' shift_expr

	| relational_expr '>' shift_expr

	| relational_expr LE_OP shift_expr

	| relational_expr GE_OP shift_expr

	;

equality_expr

	: relational_expr

	| equality_expr EQ_OP relational_expr

	| equality_expr NE_OP relational_expr

	;

and_expr

	: equality_expr

	| and_expr '&' equality_expr

	;

exclusive_or_expr

	: and_expr

	| exclusive_or_expr '^' and_expr

	;

inclusive_or_expr

	: exclusive_or_expr

	| inclusive_or_expr '|' exclusive_or_expr

	;

logical_and_expr

	: inclusive_or_expr

	| logical_and_expr AND_OP inclusive_or_expr

	;

logical_or_expr

	: logical_and_expr

	| logical_or_expr OR_OP logical_and_expr

	;

conditional_expr

	: logical_or_expr

	| logical_or_expr '?' logical_or_expr ':' conditional_expr

	;

assignment_expr

	: conditional_expr

	| unary_expr assignment_operator assignment_expr

	;

assignment_operator

	: '='

	| MUL_ASSIGN

	| DIV_ASSIGN

	| MOD_ASSIGN

	| ADD_ASSIGN

	| SUB_ASSIGN

	| LEFT_ASSIGN

	| RIGHT_ASSIGN

	| AND_ASSIGN

	| XOR_ASSIGN

	| OR_ASSIGN

	;

expr

	: assignment_expr

	| expr ',' assignment_expr

	;

constant_expr

	: conditional_expr

	;

declaration

	: declaration_specifiers ';'

	| declaration_specifiers init_declarator_list ';'

	;

declaration_specifiers

	: storage_class_specifier

	| storage_class_specifier declaration_specifiers

	| type_specifier

	| type_specifier declaration_specifiers

	;

init_declarator_list

	: init_declarator

	| init_declarator_list ',' init_declarator

	;

init_declarator

	: declarator

	| declarator '=' initializer

	;

storage_class_specifier

	: TYPEDEF

	| EXTERN

	| STATIC

	| AUTO

	| REGISTER

	;

type_specifier

	: CHAR

	| SHORT

	| INT

	| LONG

	| SIGNED

	| UNSIGNED

	| FLOAT

	| DOUBLE

	| CONST

	| VOLATILE

	| VOID

	| struct_or_union_specifier

	| enum_specifier

	| TYPE_NAME

	;

struct_or_union_specifier

	: struct_or_union identifier '{' struct_declaration_list '}'

	| struct_or_union '{' struct_declaration_list '}'

	| struct_or_union identifier

	;

struct_or_union

	: STRUCT

	| UNION

	;

struct_declaration_list

	: struct_declaration

	| struct_declaration_list struct_declaration

	;

struct_declaration

	: type_specifier_list struct_declarator_list ';'

	;

struct_declarator_list

	: struct_declarator

	| struct_declarator_list ',' struct_declarator

	;

struct_declarator

	: declarator

	| ':' constant_expr

	| declarator ':' constant_expr

	;

enum_specifier

	: ENUM '{' enumerator_list '}'

	| ENUM identifier '{' enumerator_list '}'

	| ENUM identifier

	;

enumerator_list

	: enumerator

	| enumerator_list ',' enumerator

	;

enumerator

	: identifier

	| identifier '=' constant_expr

	;

declarator

	: declarator2

	| pointer declarator2

	;

declarator2

	: identifier

	| '(' declarator ')'

	| declarator2 '[' ']'

	| declarator2 '[' constant_expr ']'

	| declarator2 '(' ')'

	| declarator2 '(' parameter_type_list ')'

	| declarator2 '(' parameter_identifier_list ')'

	;

pointer

	: '*'

	| '*' type_specifier_list

	| '*' pointer

	| '*' type_specifier_list pointer

	;

type_specifier_list

	: type_specifier

	| type_specifier_list type_specifier

	;

parameter_identifier_list

	: identifier_list

	| identifier_list ',' ELIPSIS

	;

identifier_list

	: identifier

	| identifier_list ',' identifier

	;

parameter_type_list

	: parameter_list

	| parameter_list ',' ELIPSIS

	;

parameter_list

	: parameter_declaration

	| parameter_list ',' parameter_declaration

	;

parameter_declaration

	: type_specifier_list declarator

	| type_name

	;

type_name

	: type_specifier_list

	| type_specifier_list abstract_declarator

	;

abstract_declarator

	: pointer

	| abstract_declarator2

	| pointer abstract_declarator2

	;

abstract_declarator2

	: '(' abstract_declarator ')'

	| '[' ']'

	| '[' constant_expr ']'

	| abstract_declarator2 '[' ']'

	| abstract_declarator2 '[' constant_expr ']'

	| '(' ')'

	| '(' parameter_type_list ')'

	| abstract_declarator2 '(' ')'

	| abstract_declarator2 '(' parameter_type_list ')'

	;

initializer

	: assignment_expr

	| '{' initializer_list '}'

	| '{' initializer_list ',' '}'

	;

initializer_list

	: initializer

	| initializer_list ',' initializer

	;

statement

	: labeled_statement

	| compound_statement

	| expression_statement

	| selection_statement

	| iteration_statement

	| jump_statement

	;

labeled_statement

	: identifier ':' statement

	| CASE constant_expr ':' statement

	| DEFAULT ':' statement

	;

compound_statement

	: '{' '}'

	| '{' statement_list '}'

	| '{' declaration_list '}'

	| '{' declaration_list statement_list '}'

	;

declaration_list

	: declaration

	| declaration_list declaration

	;

statement_list

	: statement

	| statement_list statement

	;

expression_statement

	: ';'

	| expr ';'

	;

selection_statement

	: IF '(' expr ')' statement

	| IF '(' expr ')' statement ELSE statement

	| SWITCH '(' expr ')' statement

	;

iteration_statement

	: WHILE '(' expr ')' statement

	| DO statement WHILE '(' expr ')' ';'

	| FOR '(' ';' ';' ')' statement

	| FOR '(' ';' ';' expr ')' statement

	| FOR '(' ';' expr ';' ')' statement

	| FOR '(' ';' expr ';' expr ')' statement

	| FOR '(' expr ';' ';' ')' statement

	| FOR '(' expr ';' ';' expr ')' statement

	| FOR '(' expr ';' expr ';' ')' statement

	| FOR '(' expr ';' expr ';' expr ')' statement

	;

jump_statement

	: GOTO identifier ';'

	| CONTINUE ';'

	| BREAK ';'

	| RETURN ';'

	| RETURN expr ';'

	;

file

	: external_definition

	| file external_definition

	;

external_definition

	: function_definition

	| declaration

	;

function_definition

	: declarator function_body

	| declaration_specifiers declarator function_body

	;

function_body

	: compound_statement

	| declaration_list compound_statement

	;

identifier

	: IDENTIFIER

	;

%%

#include <stdio.h>

extern char yytext[];

extern int column;

yyerror(s)

char *s;

{

	fflush(stdout);

	printf("\n%*s\n%*s\n", column, "^", column, s);

}