MISRA C:2012 Rule 2.1

A project shall not contain unreachable code

全页展开

描述

规则定义

A project shall not contain unreachable code ¹ .

理由

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

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

Polyspace 实现

如果无法访问代码中的语句，Polyspace^® 会报告缺陷。

故障排除

如果您预计存在违规，但未看到该违规，请参阅Diagnose Why Coding Standard Violations Do Not Appear as Expected。

示例

全部展开

`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 语句之后存在不可达操作，因此会违反规则。

检查信息

组：未使用的代码

类别：必需

AGC 类别：必需

版本历史记录

在 R2014b 中推出

全部展开

R2023a: 已标记静态未调用函数

当您未在定义 static 函数的同一文件中调用该函数时，规则检查项会报告违反此规则的情形。

例如，规则检查项会标记定义为 static 但未在同一文件中调用的 initialize 函数：

#include <stdlib.h>
#include <stdio.h>

static int initialize(void)    //Noncompliant
  {
   int input;
   printf("Enter an integer:");
   scanf("%d",&input);
   return(input);
  }
  
 void main()
  {
   int num;
   num=0;
   printf("The value of num is %d",num);
  }

另请参阅

MISRA C:2012 Rule 14.3 | MISRA C:2012 Rule 16.4 | 检查 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.