Flex开启nodefault警告默认规则可匹配，如何定位具体匹配位置

核心结论 #

Flex 2.6.4及当前所有主流发行版本没有内置编译期直接输出未匹配规则对应位置、起始条件的功能。
你看到的-s option given but default rule can be matched警告，只会在DFA构建阶段检测到「存在至少一个起始状态+输入字符的组合没有对应匹配规则」时触发，不会直接输出具体是哪个状态、哪些字符没被覆盖，这个是Flex长期存在的功能缺失，没有编译参数可以开启对应的详细报告。

你提供的复现样例的警告根因 #

你在%x声明里定义了injection独占起始条件，但整个规则段中没有编写任何属于<injection>状态的匹配规则，甚至没有该状态下的<<EOF>>处理规则。只要运行时切入这个状态，所有输入都会触发默认匹配规则，这就是警告的直接来源，把未使用的injection从起始条件声明里删掉，这个警告会直接消失。

低成本排查方案 #

不用手动逐行梳理规则，也不用刻意构造输入，用下面的方法可以快速定位所有未覆盖的场景：

1. 临时注释掉%option nodefault配置，在所有规则的末尾添加全状态兜底规则：

   <*>.|\n {
       fprintf(stderr, "[默认规则触发] 当前起始条件: %d, 未匹配字符码: 0x%02x, 行号: %d\n", 
               YY_START, (unsigned char)yytext[0], yylineno);
       // 按需加处理逻辑，比如返回TEXT标记保证扫描不中断
       return token::TEXT;
   }
   

2. 正常编译运行你的扫描器，跑一遍常规测试用例，所有触发默认规则的场景都会直接打印对应的状态、字符和行号，排查效率远高于手动走查。
3. 排查完成后删掉兜底规则，恢复nodefault配置即可。

-v输出统计项说明（和规则正确性相关的部分） #

其余内存、表项占用类的统计不需要额外关注，只有接近参数上限时才需要调整：

• Compressed tables always back-up：不是错误，只说明你的规则存在前缀重叠，DFA匹配时可能出现回退，属于正常情况。
• X/Y start conditions：X是你实际使用的起始条件数量，Y是Flex版本默认支持的起始条件上限，你这里的7个正好是INITIAL加上你自定义的6个状态。
• NFA states/DFA states：是自动机构建过程中的状态计数，和规则覆盖度无关。

内容的提问来源于stack exchange，提问作者Konchog