Question

在this howto（§4.3）中运行示例6时，在cygwin环境中使用flex / bison而不是lex / yacc，我得到意外/缺少输出。

我从下载部分下载并解压缩example files。在文件example6.compile中，我将'lex'替换为'flex'，否则保持原样（命令yacc在cygwin上执行exec '/usr/bin/bison' -y "$@"）。然后我运行example6.compile。它运行没有错误，但有一些警告（见附录）。然后我运行example6，并输入示例文本：

zone "." {
        type hint;
        file "/etc/bind/db.root";
        type hint;
};

预期输出为：

A zonefile name '/etc/bind/db.root' was encountered
Complete zone for '.' found

实际输出是：

A zonefile name '' was encountered
Complete zone for '' found

为什么缺少伪变量的值？

附录

example6.compile：

flex example6.l
yacc --verbose --debug -d example6.y
cc lex.yy.c y.tab.c -o example6

example6.l：

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

%%

zone                    return ZONETOK;
file                    return FILETOK;
[a-zA-Z][a-zA-Z0-9]*    yylval=strdup(yytext); return WORD;
[a-zA-Z0-9\/.-]+        yylval=strdup(yytext); return FILENAME;
\"                      return QUOTE;
\{                      return OBRACE;
\}                      return EBRACE;
;                       return SEMICOLON;
\n                      /* ignore EOL */;
[ \t]+                  /* ignore whitespace */;
%%

example6.y：

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

#define YYSTYPE char *

int yydebug=0;

void yyerror(const char *str)
{
        fprintf(stderr,"error: %s\n",str);
}

int yywrap()
{
        return 1;
}

main()
{
        yyparse();
}

%}

%token WORD FILENAME QUOTE OBRACE EBRACE SEMICOLON ZONETOK FILETOK

%%

commands:
        |
        commands command SEMICOLON
        ;


command:
        zone_set
        ;

zone_set:
        ZONETOK quotedname zonecontent
        {
                printf("Complete zone for '%s' found\n",$2);
        }
        ;

zonecontent:
        OBRACE zonestatements EBRACE

quotedname:
        QUOTE FILENAME QUOTE
        {
                $$=$2;
        }
        ;

zonestatements:
        |
        zonestatements zonestatement SEMICOLON
        ;

zonestatement:
        statements
        |
        FILETOK quotedname
        {
                printf("A zonefile name '%s' was encountered\n", $2);
        }
        ;

block:
        OBRACE zonestatements EBRACE SEMICOLON
        ;

statements:
        | statements statement
        ;

statement: WORD | block | quotedname

编译时的警告：

example6.l: In function ‘yylex’:
example6.l:10:7: warning: assignment makes integer from pointer without a cast [-Wint-conversion]
 [a-zA-Z][a-zA-Z0-9]*    yylval=strdup(yytext); return WORD;
       ^
example6.l:11:7: warning: assignment makes integer from pointer without a cast [-Wint-conversion]
 [a-zA-Z0-9\/.-]+        yylval=strdup(yytext); return FILENAME;
       ^
example6.y:19:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
 main()
 ^
example6.y: In function ‘main’:
example6.y:21:2: warning: implicit declaration of function ‘yyparse’ [-Wimplicit-function-declaration]
  yyparse();
  ^
y.tab.c: In function ‘yyparse’:
y.tab.c:1164:16: warning: implicit declaration of function ‘yylex’ [-Wimplicit-function-declaration]
       yychar = yylex ();

Answer 1

“警告”assignment makes integer from pointer without a cast应始终被视为错误，因为它（几乎）始终是。

在这种情况下，错误告诉您的是您尝试将指针（strdup的返回值，即char*）存储为整数（yylval ）。

当然，yylval不应该是整数。在您的yacc / bison文件的序言中的C代码中，包括

#define YYSTYPE char *

但该行不会在yacc / bison生成的头文件中结束。（如果确实如此，那么头文件也会包含yyerror的定义，这会导致链接问题，因为可执行文件只能有一个函数的单一定义。）

因此，在包含bison头文件之前，必须在（f）lex输入文件的序言中包含相同的#define（因为在该文件中使用了YYSTYPE，例如声明yylval）。有点令人惊讶的是，声称是lex和yacc的HOW-TO的东西并没有得到正确的结果;你可能想考虑提交一个错误修正。

野牛：空伪变量

1 个答案: