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程序中的示例报告了相同的错误行号模式。