EN JP CN

CWARN.CONSTCOND.DO

CWARN.CONSTCOND.DO

do ステートメントの条件は定数です

CWARN.CONSTCOND.DO チェッカーは、do ステートメントの条件が定数であるインスタンスを検出します。

脆弱性とリスク

ステートメントの条件が定数である場合、通常、プログラムの意図が達成されず、予期しない結果になります。

脆弱コード例

1  void foo() {
2    int x = 3;
3    do {
4      x++;
5    } while (x = 10);  
6 }

この例では、Klocwork は、条件 (x=10) が定数である 5 行目にフラグを立てます。

修正コード例

1  void foo() {
2    int x = 3;
3    do {
4      x++;
5    } while (<10);             
6 }

修正例では、条件は定数ではなくなりました。