MISRA C:2012 Rule 2.2

A project shall not contain dead code

全页展开

描述

规则定义

A project shall not contain dead code ¹ .

理由

如果一个运算可以被访问，但删除该运算不会影响程序的行为，则该运算构成死代码。

死代码的存在可能表明程序逻辑中存在错误。由于编译器可以删除死代码，因此死代码的存在可能会给代码评审人员带来困惑。

Polyspace 实现

规则检查器报告不会影响程序行为的运算中的规则违规。最常见的情况是，某个运算的结果在后续运算中并未被使用。例如：

您可能会执行一个运算，但没有将结果赋值给一个变量，即使是临时变量。
您可以将一个运算的结果赋值给一个变量，但之后可能不会使用该变量。
您可以为变量赋值，但随后并不使用该值。有关更多详细信息，请参阅写入后未被读取。
您可以将运算结果赋给一个变量，但随后立即覆盖该变量的值。

其他不常见的情况包括调用空函数或冗余常量运算。其中一些涉及常量的运算出现在生成的代码中，可能会被编译器优化掉。例如，运算 2u * 1u 是一个冗余运算，编译器很可能会将其优化为 2u。也就是说，该运算在运行时不太可能发生。无论编译器是否进行了优化，规则检查器都会报告该运算违反了规则。

Polyspace^® 未报告以下内容违反此规则：

未使用的参数声明。未使用的定义违反了 MISRA C:2012 规则 2.3。
未使用非 void 函数的返回值，因为该函数除了返回值之外可能还有其他副作用。删除函数调用可能会影响程序行为。
一个用于在代码中使用其结果的转换运算符。

故障排除

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

示例

全部展开

冗余运算

extern volatile unsigned int v;
extern char *p;

void f ( void ) {
    unsigned int x;


    ( void ) v;      /* Compliant - Exception*/
    ( int ) v;       /* Non-compliant  */
    v >> 3;          /* Non-compliant  */

    x = 3;           /* Non-compliant  */

    *p++;            /* Non-compliant  */
    ( *p )++;        /* Compliant  */
}

在此示例中，当对变量执行运算但未使用该运算的结果时，就违反了该规则。例如，

对变量 v 执行的运算 (int) 和 >> 是多余的，因为其结果未被使用。
运算 = 是多余的，因为在运算之后没有读取局部变量 x。
对 p++ 执行的运算 * 是多余的，因为其结果未被使用。

以下情况不违反该规则：

一个变量被强制转换为 void 类型。该转换表示您故意不使用该值。
运算的结果被使用。例如，对 p 执行 * 运算并非多余，因为 *p 递增了。

冗余函数调用

void g ( void ) {
               /* Compliant  */
}

void h ( void) {
     g( );     /* Non-compliant */
}

在此示例中，g 是一个空函数。虽然函数本身并不违反规则，但调用该函数却违反了规则。

检查信息

组：未使用的代码

类别：必需

AGC 类别：必需

版本历史记录

在 R2014b 中推出

全部展开

R2025a: 改进了对冗余运算的检测

Polyspace 报告宏扩展中冗余写运算违反此规则的情况。例如，在下面的示例中，规则检查项正确地检测到对变量 y 的两个写操作都是多余的。

#define Test(a) \
{ \
    if (tmp == 1) { \
        a = 0; \
    } \
}
void func(void) {
    int tmp = 0;
    if (tmp == 1) {
        y = 0; // Useless write
    }
    Test(y);   // Useless write via macro
}

如果代码中包含同名的 static 函数，该函数在一个源文件中为空，而在其他源文件中不为空，则 Polyspace 仅在该函数被定义为空的源文件中报告 static 函数的使用违规。例如，考虑以下源文件：
- src1.c:
```
static void foo(int* a){
    //empty
}

void caller(){
    int var = 10;
    
    foo(&var); //Noncompliant
}
```
- src2.c:
```
static void foo(int* a){
     if (a != NULL) {
        (*a)++;
    }
}

void caller(){
    int var = 10;
    
    foo(&var);
}
```
在 src1.c 中使用 foo() 属于违规，但在 src2.c 中则合规。

R2024b: 规则定义已更改

根据 MISRA C:2012 Amendment 4，规则定义更改为 "A project shall not contain dead code"。

R2023a: 改进了通过函数指针检测空函数调用的功能，并改进了对 `asm` 指令的句柄处理。

规则检查项规格进行了以下更改：

当间接调用空函数时，规则检查器会报告违反此规则。例如，在此代码中，函数指针 fp 保存指向空函数的指针值，从而创建间接函数调用。
```
void ex1(void)
{
    
}

void ex2(void)
{
	void (*fp)( void );
	fp = ex1;
	fp();			// Noncompliant
}
```
规则检查项不再忽略包含由单个 NOP 指令组成的 asm 模块的潜在死代码情况。例如，在函数 test 中，如果变量 b 在此之后从未被读取，则规则检查项会将其标记为死代码。
```
void test(void)
{
	int b;
	
	b = 0;		//Noncompliant 

	__asm( "NOP" );
}
```

另请参阅

MISRA C:2012 Rule 17.7 | 写入后未被读取 | 检查 MISRA C:2012 (-misra3)

主题

检查并审查编码标准违规

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++:2008
MISRA C++:2023

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