MISRA C:2023 Rule 2.6

A function should not contain unused label declarations

R2024a 以降

このページをすべて展開する

説明

ルール定義

A function should not contain unused label declarations 1 .

根拠

ラベルを宣言してもそれを使用しない場合、コードのレビュー担当者はそのラベルが冗長なのか手違いで使用されていないのかわかりません。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

例

すべて展開する

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 カテゴリ: Readability

バージョン履歴

R2024a で導入

参考

トピック

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.