Manual

4 Parser C-Language Interface . . . . . . . . . . . . . . 63
4.1 The Parser Function yyparse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.2 The Lexical Analyzer Function yylex . . . . . . . . . . . . . . . . . . . . . . . . 64
4.2.1 Calling Convention for yylex . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.2.2 Semantic Values of Tokens. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.2.3 Textual Locations of Tokens . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.2.4 Calling Conventions for Pure Parsers . . . . . . . . . . . . . . . . . . . . 66
4.3 The Error Reporting Function yyerror . . . . . . . . . . . . . . . . . . . . . . 67
4.4 Special Features for Use in Actions . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.5 Parser Internationalization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
iii
5 The Bison Parser Algorithm. . . . . . . . . . . . . . . 71
5.1 Look-Ahead Tokens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.2 Shift/Reduce Conflicts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
5.3 Operator Precedence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.3.1 When Precedence is Needed . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.3.2 Specifying Operator Precedence. . . . . . . . . . . . . . . . . . . . . . . . . 74
5.3.3 Precedence Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.3.4 How Precedence Works. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.4 Context-Dependent Precedence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.5 Parser States . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.6 Reduce/Reduce Conflicts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.7 Mysterious Reduce/Reduce Conflicts. . . . . . . . . . . . . . . . . . . . . . . . . 77
5.8 Generalized LR (GLR) Parsing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.9 Memory Management, and How to Avoid Memory Exhaustion
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
6 Error Recovery . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
7 Handling Context Dependencies . . . . . . . . . . . 85
7.1 Semantic Info in Token Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7.2 Lexical Tie-ins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
7.3 Lexical Tie-ins and Error Recovery . . . . . . . . . . . . . . . . . . . . . . . . . . 87
8 Debugging Your Parser . . . . . . . . . . . . . . . . . . . 89
8.1 Understanding Your Parser . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
8.2 Tracing Your Parser . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
9 Invoking Bison . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
9.1 Bison Options. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
9.2 Option Cross Key . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
9.3 Yacc Library . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100