ループ不変出口式

"while" ループの出口条件がループ不変です。

ループ不変式は、ループの実行に伴って変更されません。通常、ループ条件がループ不変であるのは問題です。ループ条件が false の場合はループが実行されず、 true の場合は無限ループになります。通常、これはコーディング・エラーです。

ID

問題箇所

説明

1

メモリー読み取り

不変条件を含むループの場所

          
#include <stdlib.h>
#include <stdio.h>

int main (int argc, char **argv)
{
    int j, k, n;

    k = rand();
    n = rand();
    for (j = 0; k == n; j++) {
        printf("%d\n", j);
    }
    return 0;
}
        

© 2010 Intel Corporation. 無断での引用、転載を禁じます。