"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. 無断での引用、転載を禁じます。