MISRA C:2023 Rule 2.1

R2026b

A project shall not contain unreachable code

自 R2024a 起

全页展开

描述

A project shall not contain unreachable code ¹ .

理由

除非程序表现出任何未定义的行为，否则无法执行不可达代码。不可达代码不会影响程序输出。不可达代码的存在可能表明程序逻辑中存在错误。编译器不删除的不可达代码会浪费资源，例如：

它会占用目标计算机内存中的空间。
它的存在可导致编译器在围绕不可达代码转移控制时选择更长、更慢的跳转指令。
在一个循环中，它可防止整个循环位于指令缓存中。

Polyspace 实现

在以下情况下，Polyspace^® 会报告违反了此规则：

代码中的某个语句由于程序控制流而不可达。例如，位于 return 语句或无条件 goto 语句之后的代码是不可达的。
代码位于某个分支内，而该分支的控制表达式是一个计算结果始终为零的编译时常量。例如，if (0) 代码块中的代码是死代码，因为该条件的计算结果始终不为 true。

故障排除

如果您预期会出现违规，但未看到该违规，请参阅诊断为何编码规范违规未按预期显示。

示例

全部展开

`return` 语句之后的代码

enum light { red, amber, red_amber, green };

enum light next_light ( enum light color )
{
    enum light res;

    switch ( color )
    {
    case red:
        res = red_amber;
        break;
    case red_amber:
        res = green;
        break;
    case green:
        res = amber;
        break;
    case amber:
        res = red;
        break;
    default:
    {
        error_handler ();
        break;
    }
    }

    res = color;
    return res;
    res = color;     /* Non-compliant */
}

在此示例中，由于 return 语句之后存在不可达操作，因此会违反规则。

始终为 `if` 的条件中的死代码

在此示例中，if 语句体不可达。控制表达式 0 的计算结果始终为 false。


int compute_value(void) {
    if (0) {              // Noncompliant
        return 3;
    }
    return 456;
}

Polyspace 会报告违规，因为 if (0) 代码块内的代码永远无法执行。控制表达式是一个计算结果始终为零的编译时常量，使得包含的语句成为死代码。

检查信息

组：未使用的代码

类别：必需

AGC 类别：必需

PQL 名称：std.misra_c_2023.R2_1

版本历史记录

在 R2024a 中推出

全部展开

R2026b: 现可检测由常量条件导致的死代码

当代码位于某个分支内，而该分支的控制表达式是计算结果为零的编译时常量时，Polyspace 现在会报告违规。以前，不会标记这种模式。


int func(void) {
    if (0) {              // Newly detected
        return 3;
    }
    return 456;
}

另请参阅

检查 MISRA C:2023 (-misra-c-2023) | MISRA C:2023 Rule 14.3 | MISRA C:2023 Rule 16.4

主题

检查并审查编码标准违规

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C:2025
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.