本页采用了机器翻译。点击此处可查看最新英文版本。

MISRA C:2012 Rule 2.6

A function should not contain unused label declarations

全页展开

描述

规则定义

A function should not contain unused label declarations 1 .

理由

如果您声明了一个标签但未使用它，那么代码评审者无法确定该标签是多余的还是误用。

报告中的补充消息

函数不应包含未使用的标签声明。

标签 label_name 未被使用。

故障排除

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

示例

全部展开

void use_var(signed short);

void unused_label ( void )
{
    signed short x = 6;

label1:                        /* Non-compliant - label1 not used */
    use_var ( x );
}

void used_label ( void )
{
    signed short x = 6;

    for (int i=0; i < 5; i++) {
        if ( i==2 ) goto label1;
    }

label1:		               /* Compliant - label1 used */
    use_var ( x );
}

在此示例中，当函数 unused_label 中未使用标签 label1 时，则违反了规则。

检查信息

组：未使用的代码
类别：建议
AGC 类别：可读性

版本历史记录

在 R2015b 中推出

另请参阅

主题

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.