LANG.STRUCT.UULABEL : 未使用のラベル

JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

If you access the manual through the hub's Web GUI, the functionality will not be suppressed because the hub is a web server.
Alternatively, your browser may allow you to explicitly disable the security setting that suppresses functionality. See the CodeSonar FAQ for more information.

goto のラベルが、そのスコープ内で goto 文から参照されていません。

クラス名

Unused Label

日本語クラス名

未使用のラベル

クラス分類

スタイル (style)

ニーモニック

LANG.STRUCT.UULABEL

カテゴリー

MisraC2023	MisraC2023:2.6	A function should not contain unused label declarations
Misra2012	Misra2012:2.6	A function should not contain unused label declarations
CWE	CWE:561	Dead Code
CERT-C	CERT-C:MSC12-C	Detect and remove code that has no effect or is never executed
DISA-3r10	DISA-3r10:V-6149	The designer will ensure the application does not contain source code that is never invoked during operation, except for software components and libraries from approved third-party products.

対応言語

C および C++ で利用可能です。

有効/無効設定

このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル（configuration file）に以下の WARNING_FILTER ルールを追加してください。

WARNING_FILTER += allow class="Unused Label"

int lang_struct_uulabel(void){
    int i = 5;
    goto label1;  
  label1:                   /* corresponding goto statement is in scope  */
    i++;
    if (0) goto label2;
  label2:                   /* corresponding goto statement is in scope (though unreachable) */
    i++;
  label3: /* 'Unused Label' warning issued here */
    i++;
    return i;
}

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。

LANG.STRUCT.UULABEL : 未使用のラベル

要旨

プロパティ

例

関連のある設定ファイルパラメータ