c - yylineno 给出错误报告的意外结果

Question

我试图了解创建编译器的基本概念。我尝试编写一个非常基本的 C 编译器，但遇到了一些问题。当我尝试打印变量 yylineno 发生语法错误的位置时，我得到了一些错误的行号。有谁知道为什么？我在网上搜索过，但找不到明确的答案，谢谢。

comp.l 文件:

%{
#include <stdio.h>    
#include <stdlib.h>
#include <string.h>


extern int yylineno;
extern FILE* yyin;
//extern char* yytext;
void yyerror(char *s);


%}


%union {char* var;} 

%token INT FLOAT CHAR DOUBLE VOID
%token FOR WHILE 
%token IF ELSE PRINTF 
%token STRUCT 
%token NUM 
%token INCLUDE
%token DOT
%token <var> ID
%right '='
%left AND OR
%left '<' '>' LE GE EQ NE LT GT
%error-verbose

%%

start:  Function 
    | Declaration
    ;

/* Declaration block */
Declaration: Type Assignment ';' 
    | Assignment ';'    
    | FunctionCall ';'  
    | ArrayUsage ';'    
    | Type ArrayUsage ';'   
    | StructStmt ';'    
    | Arg ';'
    | error {yyerrok;}
    ;

/* Assignment block */
Assignment: ID '=' Assignment 
    | ID '=' FunctionCall   
    | ID '=' ArrayUsage     
    | ArrayUsage '=' Assignment
    | ID ',' Assignment   
    | NUM ',' Assignment
    | ID '+' Assignment    
    | ID '-' Assignment    
    | ID '*' Assignment     
    | ID '/' Assignment     
    | NUM '+' Assignment   
    | NUM '-' Assignment
    | NUM '*' Assignment
    | NUM '/' Assignment
    | '\'' Assignment '\''  
    | '(' Assignment ')'
    | '-' '(' Assignment ')'
    | '-' NUM
    | '-' ID  
    |   NUM
    |   ID  
    ;

/* Function Call Block */
FunctionCall : ID'('')'
    | ID'('Assignment')'
    ;

/* Array Usage */
ArrayUsage : ID'['Assignment']'  
    | ID'['error ']' {yyerrok;}
    ;

/* Function block */
Function: Type ID '(' ArgListOpt ')' CompoundStmt  

ArgListOpt: ArgList
    |
    ;

ArgList:  ArgList ',' Arg
    | Arg
    ;

Arg:    Type ID
    ;

CompoundStmt:   CompoundStmt '{' StmtList '}'
    |  '{' StmtList '}'
    | '{' StmtList {yyerror("Missing '}'"); YYERROR;}
    |  StmtList '}' {yyerror("Missing '{'"); YYERROR;}
    ;

StmtList:   StmtList Stmt
    |
    ;

Stmt: WhileStmt
    | Declaration
    | ForStmt
    | IfStmt
    | PrintFunc
    | ';'
    ;

/* Type Identifier block */
Type: INT 
    | FLOAT
    | CHAR
    | DOUBLE
    | VOID 
    ;

/* Loop Blocks */ 
WhileStmt: WHILE '(' Expr ')' Stmt  
    | WHILE '(' Expr ')' CompoundStmt 
    ;

/* For Block */
ForStmt: FOR '(' Expr ';' Expr ';' Expr ')' Stmt 
       | FOR '(' Expr ';' Expr ';' Expr ')' CompoundStmt 
       | FOR '(' Expr ')' Stmt 
       | FOR '(' Expr ')' CompoundStmt 
    ;

/* IfStmt Block */
IfStmt : IF '(' Expr ')' Stmt 
    ;

/* Struct Statement */
StructStmt : STRUCT ID '{' Type Assignment '}'  
    ;

/* Print Function */
PrintFunc : PRINTF '(' Expr ')' ';'
    ;

/*Expression Block*/
Expr:   
    | Expr LE Expr 
    | Expr GE Expr
    | Expr NE Expr
    | Expr EQ Expr
    | Expr GT Expr
    | Expr LT Expr
    | Assignment
    | ArrayUsage
    ;

%%

int count = 0;







int main() {

    int i;

    for(i=0; i<100; i++) {

        variables[i] = " ";

     }

    yyin = stdin;

    do { 

        yyparse();

    } while(!feof(yyin));

    return 0;
}





void yyerror(char* s) {




    printf("Error : %s  at line %d \n", s, yylineno);

}   

comp.y 文件:

alpha [a-zA-Z]
digit [0-9]

%{
#include "y.tab.h"
#include <stdio.h>

int line_n = 1;

%}

%option  nodefault yylineno



%%


[\t\n]+                      {;}
"int"                        {return INT;}
"float"                      {return FLOAT;}
"char"                       { return CHAR;}
"void"                       {return VOID;}
"double"                     {return DOUBLE;}
"for"                        {return FOR;}
"while"                      {return WHILE;}
"if"                         {return IF;}
"else"                       {return ELSE;}
"printf"                     {return PRINTF;}
"struct"                     {return STRUCT;}
^"#include ".+               {;}
{digit}+                     {return NUM;}
{alpha}({alpha}|{digit})*    {yylval.var = strdup(yytext);return ID;}
"<="                         {return LE;}
">="                         {return GE;}
"=="                         {return EQ;}
"!="                         {return NE;}
">"                          {return GT;}
"<"                          {return LT;}
"."                          {return DOT;}
\/\/.*                       {;}
\/\*(.*\n)*.*\*\/            {;}
[ \t\r\n]+                   {;}
.                            {return *yytext;}


%%



int yywrap (void) {return 1;}

例如，当我尝试检查以下代码时:

1.int main(){
2.   int a
3.
4. 
5. 
6.   int o 
7.}

我明白了:

错误:语法错误，意外的 INT，需要“;”在第 6 行

错误:语法错误，意外的“}”，需要“;”在第 7 行

Answer 1

在 C 代码示例中，错误的行号是正确的。不要求第 2 行 int a 之后缺少的 ; 位于该行，而不是位于第 4、5 行，甚至第 6 行，如 ;int o.

第 6 行的 int o 也缺少 ;，只有在第 7 行遇到 } 时才会显示。

缺少的 ; 都不需要与其定义位于同一行，因此不会报告它可能出现的第一行号。相反，会报告它必须出现的最后一个行号。

粘贴到 MSVC 程序中的示例报告了相同的错误行号模式。