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.

CodeSonar® 9.2p0 CONFIDENTIAL CodeSecure Inc
C and C++

LANG.STRUCT.LOOP.MAE : 複数のループ中断

要旨

ループ中に複数のループ中断命令 (break 文もしくは goto 文)が存在します。

プロパティ

クラス名 Multiple Abnormal Loop Exits
日本語クラス名 複数のループ中断
クラス分類 スタイル (style)
ニーモニック LANG.STRUCT.LOOP.MAE
カテゴリー
MisraC2025 MisraC2025:15.4 There should be no more than one break or goto statement used to terminate any iteration statement
MisraC2023 MisraC2023:15.4 There should be no more than one break or goto statement used to terminate any iteration statement
Misra2012 Misra2012:15.4 There should be no more than one break or goto statement used to terminate any iteration statement
Misra2004 Misra2004:14.6 For any iteration statement there shall be at most one break statement used for loop termination
MisraC++2008 MisraC++2008:6-6-4 For any iteration statement there shall be no more than one break or goto statement used for loop termination.
CWE CWE:1120 Excessive Code Complexity
JSF++ JSF++:191 The break statement shall not be used (except to terminate the cases of a switch statement).
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっており、プロジェクトには非正規の C向けAST が必要になります。有効にするにはプロジェクト設定ファイル （configuration file） に以下の WARNING_FILTER ルールと RETAIN_UNNORMALIZED_C_AST 設定を追加してください。 
RETAIN_UNNORMALIZED_C_AST = Yes
WARNING_FILTER += allow class="Multiple Abnormal Loop Exits"
注：非正規化された AST を継続して使用した場合、使用ディスク容量が増加し解析時間が長くなる可能性があります。

例 

void multiloopexit(int i){
    int x;
    for (x=0; x < 10; x++){   /* 'Multiple Abnormal Loop Exits' warning issued here. */
        if (x < i) { break;}
        /* ... */
        if (x < 2*i) {break;}
    }
}

void notmultiloopexit(int i){
    int x,y;
    for (x=0; x < 10; x++){             /* ok: this loop only has one abnormal exit. */
      if (x < i) { break;}                          /* exits from outer loop */
        /* ... */
        for (y = 0; y < 10; y++){       /* ok: this loop only has one abnormal exit. */  
            if (y < i) {break;}                     /* exits from inner loop to outer loop */
            /* ... */
        }
    }
}

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

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

 

To report problems with this documentation, please visit https://support.codesecure.com/.