在 C 代码中查找“失败”

Question

在我正在开发的产品中发现了几个令人讨厌的错误，所有这些错误都与 switch 语句中的无意“失败”有关。

现在，我想更进一步——我想检测大量 C 代码中的 switch 语句是否失效。 我只能使用 Linux 和 gcc 5.6 进行编译（所以没有 clang 或更新的 gcc；这是因为我们项目的目标架构不存在更新的 gcc）。

这是一个没有落空的代码：

    switch(m_loadAnimSubCt){
        case 0: 
        case 1: 
            // Do something
            break;
        case 2:
        case 3:
        case 4:
            // Do something
            break;
   }

这是一个失败的代码：

   switch(m_loadAnimSubCt){
        case 0: 
        case 1: 
            // Do something but fall through to the other cases 
            // after doing it.
        case 2:
        case 3:
        case 4:
            // Do something else.
            break;
   }

Answer 1

如果您使用的是 GCC，则应使用 Wimplicit-fallthrough compiler option 生成失败警告。您也可以使用 -Werror 将其变为错误（即 -Werror=implicit-fallthrough 用于此特定警告。

我更喜欢使用-Wextra（包括此警告和许多其他附加警告），但如果这是一些大型遗留代码库，它可能会产生太多噪音。 是你应该努力的，通过-Wextra -Wpedantic -Werror 传递构建。

如果您的编译器版本不支持这样的选项，也许您可​​以编写自己的正则表达式来匹配所有 cases，而不是前面的 case 语句，尽管您必须小心确保regex 匹配所有匹配项，无论格式/cmets。

例如，您可以使用这样的东西（这里是demo）：

(?# match any 'case' following 'break;', ':' or '{' into a non-capturing group)
(?# then match the remaining 'case' into a named "fallthrough" group)
(?:(break;|:|{)[\r\n\s]*case) | (?<fallthrough>case)

因此，您可以针对您的文件夹运行 perl（或 python 或其他）脚本并转储捕获“fallthrough”组的所有行。

Answer 2

我建议使用较新的编译器编译您的代码，以检测那些（我知道您提到您无法为项目执行此操作，但有时将其与其他东西一起编译以对事物有不同的看法很有用）。

我们在工作中拥有的是一个（可怕的）旧版本的 GCC，它编译我们的“官方”代码并 Clang 做一个虚拟编译，只是为了获得更好的静态分析。