CWARN.CONSTCOND.DO

Condition of do statement is constant

The CWARN.CONSTCOND.DO checker finds instances in which the condition of a do statement is constant.

A constant condition for a statement typically results in the program's intention not being accomplished, with probable unexpected consequences.

Copy

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

In this example, Klocwork flags line 5, in which the condition (x=10) is constant.

Copy

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

In the fixed example, the condition is no longer a constant.