对 GCC 和 Flex/Bison 没有效果警告的声明

Question

当使用 gcc 和 -Wall 选项编译我的项目时，我收到一条关于在我的 Flex 文件不存在的最后一行中没有任何效果的语句的警告：

警告：

gcc -Wall -O0 -ggdb3 -DNOSUDO -DJOBC -DDEBUG -c lex.yy.c
tokenizer.l: In function ‘yylex’:
tokenizer.l:179: warning: statement with no effect

Shell命令：

$ wc -l tokenizer.l
178 tokenizer.l

lex 文件的最后部分：

; {
    return SEMI;
}

有人知道为什么我可能会收到此警告吗？

如果我抑制所有#line指令，错误是：

lex.yy.c: In function ‘yylex’:
lex.yy.c:1021: warning: statement with no effect

它引用了以下中的ECHO行：

case 30:
YY_RULE_SETUP
ECHO;
    YY_BREAK
case YY_STATE_EOF(INITIAL):
case YY_STATE_EOF(inQuote):
case YY_STATE_EOF(inWord):
    yyterminate();

Answer 1

一般来说，您会从任何具有无条件“返回”的 lex 规则中得到该错误，因为 flex 最终会生成如下所示的代码（在宏扩展之后）：

case xxx:
    return SEMI;
    break;

问题在于“break”无法访问。它需要存在，以防您的规则不返回（因此代码不会落入下一个标记的代码，而是会继续识别下一个标记。）Flex 不够智能，无法实际解析您的规则代码并进行流分析以确定何时不需要中断，因此它总是将其放在那里。一般来说，在 flex （或 bison）的输出上使用 -Wall 会给你很多像这样的警告......

Answer 2

我猜感觉 ; 是一条没有效果的语句。尝试引用它：

";" {
    return SEMI;
}

Answer 3

我遇到了同样的问题并进行了一些研究。事实证明，flex 源文件（.l 文件）中的“#includes”之一以某种方式间接包含了标准库 termios.h 文件，该文件定义了一个名为“ECHO”的宏（如“0000010”）。
另一方面，flex生成的源文件也想创建一个名为“ECHO”的宏，前面有一个“#ifndef ECHO”。但是，当然，在包含 termios.h 的情况下，“ifndef”的计算结果为 false，并且 ECHO 未按预期定义。这导致了错误。

长解释，短解决方案：我将

#ifdef ECHO
#undef ECHO
#endif

所有包含内容放在 .l 文件中，这样就成功了。

我知道这个讨论线程已经有点旧了，但当我用谷歌搜索警告时它首先出现，所以我的贡献可能对人们仍然有用。

Answer 4

正如其他答案所说，问题在于“返回”后无法达到“中断”。

过去可以让编译器相信有一种方法可以通过伪造条件返回来达到“中断”：

if (1) return SEMI;

我怀疑某些现代编译器足够聪明，能够看穿这一点 - 这实际上会适得其反他们。 “是的，你是对的，编译器先生，但我无法避免它，所以 STFU”。