StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

POHow to find shift/reduce conflict in this yacc file?
text
Body
copied!<p>When I try to use yacc on the following file I get the error conflicts: 1 shift/reduce How can I find and fix the conflict?</p> <pre><code>/* C-Minus BNF Grammar */ %token ELSE %token IF %token INT %token RETURN %token VOID %token WHILE %token ID %token NUM %token LTE %token GTE %token EQUAL %token NOTEQUAL %% program : declaration_list ; declaration_list : declaration_list declaration | declaration ; declaration : var_declaration | fun_declaration ; var_declaration : type_specifier ID ';' | type_specifier ID '[' NUM ']' ';' ; type_specifier : INT | VOID ; fun_declaration : type_specifier ID '(' params ')' compound_stmt ; params : param_list | VOID ; param_list : param_list ',' param | param ; param : type_specifier ID | type_specifier ID '[' ']' ; compound_stmt : '{' local_declarations statement_list '}' ; local_declarations : local_declarations var_declaration | /* empty */ ; statement_list : statement_list statement | /* empty */ ; statement : expression_stmt | compound_stmt | selection_stmt | iteration_stmt | return_stmt ; expression_stmt : expression ';' | ';' ; selection_stmt : IF '(' expression ')' statement | IF '(' expression ')' statement ELSE statement ; iteration_stmt : WHILE '(' expression ')' statement ; return_stmt : RETURN ';' | RETURN expression ';' ; expression : var '=' expression | simple_expression ; var : ID | ID '[' expression ']' ; simple_expression : additive_expression relop additive_expression | additive_expression ; relop : LTE | '<' | '>' | GTE | EQUAL | NOTEQUAL ; additive_expression : additive_expression addop term | term ; addop : '+' | '-' ; term : term mulop factor | factor ; mulop : '*' | '/' ; factor : '(' expression ')' | var | call | NUM ; call : ID '(' args ')' ; args : arg_list | /* empty */ ; arg_list : arg_list ',' expression | expression ; </code></pre>

Querying!

Guidance

An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload