以下のエラーを検出することが出来ます。
（実例１）
sub()
{
int cnt;
cnt = 0;
goto label;
while( cnt < 10 )
{
label:
cnt++;
}
}
|
無条件にループの中に処理が移っている。
以下のコーディングは検出することが出来ません。
（実例２）
sub( int cnt )
{
if( cnt == 0 )
{
goto label;
}
while( cnt < 10 )
{
label:
cnt++;
}
}
|
正常にループに入る場合もある場合には、メッセージは表示されない。
|